Function fungi_lang::decide::relctx_of_ctx
[−]
[src]
pub fn relctx_of_ctx(c: &Ctx) -> RelCtx
Convert the context into the corresponding relational context