Function fungi_lang::subst::subst_idxtm_type[−][src]

pub fn subst_idxtm_type(i: IdxTm, x: &String, b: Type) -> Type

Substitute an index for an index variable in another type