Function fungi_lang::bitype::synth_idxtm

pub fn synth_idxtm(
    last_label: Option<&str>, 
    ctx: &Ctx, 
    idxtm: &IdxTm
) -> IdxTmDer

synthesize sort for index term