Cross Reference: OpDecls.hascasl
xref
: /
hets
/
HasCASL
/
test
/
OpDecls.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
OpDecls.hascasl revision 88d16ba9fcfb786c4e953f99982e3056ad2045ec
type s
op a, b : s
op __ + __ : s -> s -> s, idem, assoc, comm;
op c :? s = a + b