Lazy.hascasl revision 4ea69d9a971bbb8b4082bcd60350fdabd5411c23
type t;
op f : ?t -> t
op g : t -> (?t)
op a, b: t
op c, d:?t
. f a = g c
. def (c ())