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

Convert the relational context into the corresponding non-relational context