OpDecls.hascasl revision 3f813eb9d4ef92b5058d65b913cef48fb5c41b2e
type s, t
op __ + __ : s * s -> s
op x1,x2:s
op y:s = (op x2:s) + (op x2:s)