OpDecls.hascasl revision 4e1a15d204e2a71395be442baea22c0421b24f3d
type s
op a, b : s
op __ + __ : s -> s -> s, idem, assoc, comm;
op c : s = a + b