OpDecls.hascasl revision 21a5dc6f0c7be507b8091d65cf77392208e5807f
21a5dc6f0c7be507b8091d65cf77392208e5807fKatja Abu-dib%% op __ + __ : s -> s -> s, idem, assoc, comm;
21a5dc6f0c7be507b8091d65cf77392208e5807fKatja Abu-dibop __ + __ : t * t -> t
21a5dc6f0c7be507b8091d65cf77392208e5807fKatja Abu-dibop __ + __ : t -> t -> t
21a5dc6f0c7be507b8091d65cf77392208e5807fKatja Abu-dibop __ + __ : s * s -> s
21a5dc6f0c7be507b8091d65cf77392208e5807fKatja Abu-dib%%op c : s = a + b
21a5dc6f0c7be507b8091d65cf77392208e5807fKatja Abu-dibop y:s = (var x:s) + (var x:s)