Function fungi_lang::subst::subst_term_ctype [−][src]
pub fn subst_term_ctype(t: Term, x: &String, ct: CType) -> CType
Substitute terms into computation types
pub fn subst_term_ctype(t: Term, x: &String, ct: CType) -> CType
Substitute terms into computation types