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