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