bblum

 59     and equivPath g (Cvar a1) (Cvar a2) = 60           if (Variable.eq a1 a2) then 61             (case Variable.find g a1 of 62                   NONE => (print "foo1"; raise TypeError) 63                 | SOME k => k) 64           else (print "foo2"; raise TypeError)