Searched refs:SubstBindingPrint (Results 1 – 2 of 2) sorted by relevance
| /dports/math/eprover/eprover-E-2.0/TERMS/ |
| H A D | cte_subst.c | 193 bool SubstBindingPrint(FILE* out, Term_p var, Sig_p sig, DerefType in SubstBindingPrint() function
233 SubstBindingPrint(out, PStackElementP(subst,0), sig, deref); in SubstPrint()
238 SubstBindingPrint(out, PStackElementP(subst,i), sig, in SubstPrint()
|
| H A D | cte_subst.h | 60 bool SubstBindingPrint(FILE* out, Term_p var, Sig_p sig, DerefType deref);
|