Function fungi_lang::subst::subst_term_prop

pub fn subst_term_prop(t: Term, x: &String, p: Prop) -> Prop

Substitute terms into propositions