Function fungi_lang::decide::ctxs_of_relctx_rec

source · 
pub fn ctxs_of_relctx_rec(c: Rc<RelCtx>) -> (Rc<Ctx>, Rc<Ctx>)
Expand description

Convert the context into the corresponding relational context