Function fungi_lang::decide::ctxs_of_relctx

source · 
pub fn ctxs_of_relctx(c: RelCtx) -> (Ctx, Ctx)
Expand description

Convert the context into the corresponding relational context