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