bblum
public text v1 · immutable 59 | equivPath g (Capp (p1,c1)) (Capp (p2,c2)) = 60 (case equivPath g p1 p2 ofequiv.sml:60.18-60.32 Error: operator and operand don't agree [tycon mismatch] operator domain: con -> con operand: con in expression: (equivPath g) p1