6
7 Top theory for HOLCF system
8
9 *)
10
11 HOLCF = Lift3 +
11 HOLCF = One + Tr
12
13 default pcpo
14
15 end
16