Function fungi_lang::decide::relctx_of_ctx
source · Expand description
Convert the relational context into the corresponding non-relational context
Convert the relational context into the corresponding non-relational context