Function fungi_lang::bitype::synth_idxtm
[−]
[src]
pub fn synth_idxtm(
last_label: Option<&str>,
ctxt: &TCtxt,
idxtm: &IdxTm
) -> TypeInfo<IdxTmTD>