Closed shingarov closed 8 months ago
Cf. defineP in liquid-fixpoint/src/Language/Fixpoint/Parse.hs. At this point, we instantiate Equation but don't do anything with it: this is simply plumbing connecting Refinements to PLE.
defineP
liquid-fixpoint/src/Language/Fixpoint/Parse.hs
Equation
Cf.
definePinliquid-fixpoint/src/Language/Fixpoint/Parse.hs. At this point, we instantiateEquationbut don't do anything with it: this is simply plumbing connecting Refinements to PLE.