Test.Target.Eval

Documentation

eval :: Reft -> Expr -> Target Bool

Evaluate a refinement with the given expression substituted for the value variable.

evalWith :: HashMap Symbol Val -> Reft -> Expr -> Target Bool

Evaluate a refinement with the given expression substituted for the value variable, in the given environment of free symbols.

evalExpr :: Expr -> HashMap Symbol Val -> Target Val