Function fungi_lang::decide::ctxs_of_relctx[][src]

pub fn ctxs_of_relctx(c: RelCtx) -> (Ctx, Ctx)

Convert the context into the corresponding relational context