7 signature L = sig type t = unit  signature
17 functor L = functor (L:L)=>  functor
19 functor LL = functor(LL:functor(L:L)->L)=>  functor
20   LL:functor(L:L)->G;  functor
21 functor GL = functor(GL:functor(L:G)->L)=>  functor
22   GL:functor(L:L)->L;  functor
25 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
26   L_YL:functor(L:L)->sig structure Y: G end;  functor
29 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
30   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
31 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
32   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor
36 signature L = sig val x : ('a -> 'a) -> ('b -> 'b) end;  signature
39 functor L = functor (L:L)=>  functor
41 functor LL = functor(LL:functor(L:L)->L)=>  functor
42   LL:functor(L:L)->G;  functor
43 functor GL = functor(GL:functor(L:G)->L)=>  functor
44   GL:functor(L:L)->L;  functor
47 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
48   L_YL:functor(L:L)->sig structure Y: G end;  functor
51 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
52   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
53 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
54   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor
58       signature L = sig val x : ('a -> 'a) -> ('b -> 'b) end;  signature
61       functor L = functor (L:L)=>  functor
63       functor LL = functor(LL:functor(L:L)->L)=>  functor
64 	  LL:functor(L:L)->G;  functor
65       functor GL = functor(GL:functor(L:G)->L)=>  functor
66 	  GL:functor(L:L)->L;  functor
69       functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
70 	  L_YL:functor(L:L)->sig structure Y: G end;  functor
73       functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
74 	  L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
75 …functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L en…  functor
76 	  FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor
82 signature L = sig   signature
109 functor L = functor (L:L)=>  functor
111 functor LL = functor(LL:functor(L:L)->L)=>  functor
112   LL:functor(L:L)->G;  functor
113 functor GL = functor(GL:functor(L:G)->L)=>  functor
114   GL:functor(L:L)->L;  functor
117 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
118   L_YL:functor(L:L)->sig structure Y: G end;  functor
121 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
122   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
123 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
124   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor
127 signature L = sig type t  signature
158 functor L = functor (L:L)=>  functor
160 functor LL = functor(LL:functor(L:L)->L)=>  functor
161   LL:functor(L:L)->G;  functor
162 functor GL = functor(GL:functor(L:G)->L)=>  functor
163   GL:functor(L:L)->L;  functor
166 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
167   L_YL:functor(L:L)->sig structure Y: G end;  functor
170 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
171   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
172 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
173   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor
178 signature L = sig type ('a,'b) t = 'a * 'b end;  signature
181 functor L = functor (L:L)=>  functor
183 functor LL = functor(LL:functor(L:L)->L)=>  functor
184   LL:functor(L:L)->G;  functor
185 functor GL = functor(GL:functor(L:G)->L)=>  functor
186   GL:functor(L:L)->L;  functor
189 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
190   L_YL:functor(L:L)->sig structure Y: G end;  functor
193 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
194   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
195 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
196   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor
200 signature L = sig   signature
240 functor L = functor (L:L)=>  functor
242 functor LL = functor(LL:functor(L:L)->L)=>  functor
243   LL:functor(L:L)->G;  functor
244 functor GL = functor(GL:functor(L:G)->L)=>  functor
245   GL:functor(L:L)->L;  functor
248 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
249   L_YL:functor(L:L)->sig structure Y: G end;  functor
252 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
253   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
254 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
255   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor
264 signature L = sig datatype t = C of (t,unit u) v   signature
289 functor L = functor (L:L)=>  functor
292 functor LL = functor(LL:functor(L:L)->L)=>  functor
293   LL:functor(L:L)->G;  functor
294 functor GL = functor(GL:functor(L:G)->L)=>  functor
295   GL:functor(L:L)->L;  functor
298 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
299   L_YL:functor(L:L)->sig structure Y: G end;  functor
302 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
303   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
304 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
305   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor
309 signature L = functor X:sig type t end ->sig type u end;  signature
312 functor L = functor (L:L)=>  functor
314 functor LL = functor(LL:functor(L:L)->L)=>  functor
315   LL:functor(L:L)->G;  functor
316 functor GL = functor(GL:functor(L:G)->L)=>  functor
317   GL:functor(L:L)->L;  functor
323 signature L = sig functor F: functor  X:sig type t end ->sig type u end end;  signature
328 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=>  functor
329   L_YL:functor(L:L)->sig structure Y: G end;  functor
332 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=>  functor
333   L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L;  functor
334 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end…  functor
335   FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end;  functor