Function fungi_lang::bitype::synth_idxtm [] [src]

pub fn synth_idxtm(
    last_label: Option<&str>,
    ctxt: &TCtxt,
    idxtm: &IdxTm
) -> TypeInfo<IdxTmTD>