Function fungi_lang::subst::subst_idxtm_type

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

Substitute an index for an index variable in another type