HasCASL/test/Lazy.hascasl.output

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
type  t
op    f : ? t -> t
op    g : t -> (? t)
ops   a, b : t
ops   c, d : ? t
. f a = g c
. def c ();
type
t : Type
op a : t
op b : t
op c : ? t
op d : ? t
op f : ? t -> t
op g : t -> ? t
. f a = g c
. def c ()