Function fungi_lang::expand::expand_prop_rec [−][src]
pub fn expand_prop_rec(ctx: &Ctx, p: Rc<Prop>) -> Rc<Prop>
Substitute terms into propositions
pub fn expand_prop_rec(ctx: &Ctx, p: Rc<Prop>) -> Rc<Prop>
Substitute terms into propositions