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
pub fn ctxs_of_relctx(c: RelCtx) -> (Ctx, Ctx)
Convert the context into the corresponding relational context