Function fungi_lang::bitype::check_idxtm

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