Function fungi_lang::decide::relctx_of_ctx [] [src]

pub fn relctx_of_ctx(c: &Ctx) -> RelCtx

Convert the context into the corresponding relational context