Function fungi_lang::subst::subst_term_prop_rec

source · 
pub fn subst_term_prop_rec(t: Term, x: &String, p: Rc<Prop>) -> Rc<Prop>
Expand description

Substitute terms into propositions