EqualB
Eval
Prop
Eval
prop
EvalL
prop
EvalOver
prop
Eval_
prop
either
Eval
EvalOver
Prop
equal
Eval
EvalOver
Prop
equalSelf
Prop
eval
Prop
evalInstances
Eval
evaln
Prop
extract
CycleDetector