Function fungi_lang::decide::effect::decide_idxtm_cons

source · 
pub fn decide_idxtm_cons(
    _nctx: &Ctx,
    cons: NmSetCons,
    i: IdxTm,
    j: IdxTm
) -> Result<IdxTm, Error>
Expand description

Construct a name set (i (cons) j) from name set pair (i,j) and constructor cons.