OpDecls.hascasl revision 7eb56d7d6024afa350425be2cd539882b84c9301
type s, t
op __ + __ : s * s -> t
op x:s
op y:t = (op x:s) + (op x:s)