Lines Matching defs:L
33 signature L = sig end; signature
35 functor L = functor (L:L)=> functor
37 functor LL = functor(LL:functor(L:L)->L)=> functor
38 LL:functor(L:L)->G; functor
39 functor GL = functor(GL:functor(L:G)->L)=> functor
40 GL:functor(L:L)->L; functor
43 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
44 L_YL:functor(L:L)->sig structure Y: G end; functor
47 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
48 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
49 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
50 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
55 signature L = sig end; signature
57 functor L = functor (L:L)=> functor
59 functor LL = functor(LL:functor(L:L)->L)=> functor
60 LL:functor(L:L)->G; functor
61 functor GL = functor(GL:functor(L:G)->L)=> functor
62 GL:functor(L:L)->L; functor
65 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
66 L_YL:functor(L:L)->sig structure Y: G end; functor
69 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
70 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
71 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
72 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
77 signature L = sig end; signature
79 functor L = functor (L:L)=> functor
81 functor LL = functor(LL:functor(L:L)->L)=> functor
82 LL:functor(L:L)->G; functor
83 functor GL = functor(GL:functor(L:G)->L)=> functor
84 GL:functor(L:L)->L; functor
87 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
88 L_YL:functor(L:L)->sig structure Y: G end; functor
91 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
92 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
93 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
94 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
100 signature L = sig end; signature
102 functor L = functor (L:L)=> functor
104 functor LL = functor(LL:functor(L:L)->L)=> functor
105 LL:functor(L:L)->G; functor
106 functor GL = functor(GL:functor(L:G)->L)=> functor
107 GL:functor(L:L)->L; functor
110 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
111 L_YL:functor(L:L)->sig structure Y: G end; functor
114 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
115 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
116 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
117 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
122 signature L = sig val x : int -> int end; signature
124 functor L = functor (L:L)=> functor
126 functor LL = functor(LL:functor(L:L)->L)=> functor
127 LL:functor(L:L)->G; functor
128 functor GL = functor(GL:functor(L:G)->L)=> functor
129 GL:functor(L:L)->L; functor
132 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
133 L_YL:functor(L:L)->sig structure Y: G end; functor
136 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
137 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
138 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
139 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
144 signature L = sig val x : ('a -> 'a) -> ('b -> 'b) end; signature
147 functor L = functor (L:L)=> functor
154 signature L = sig val x : ('a -> 'a) -> ('b -> 'b) end; signature
156 functor LL = functor(LL:functor(L:L)->L)=> functor
157 LL:functor(L:L)->G; functor
163 signature L = sig val x : ('a -> 'a) -> ('b -> 'b) end; signature
165 functor GL = functor(GL:functor(L:G)->L)=> functor
166 GL:functor(L:L)->L; functor
172 signature L = sig val x : ('a -> 'a) -> ('b -> 'b) end; signature
181 signature L = sig val x : ('a -> 'a) -> ('b -> 'b) end; signature
183 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
184 L_YL:functor(L:L)->sig structure Y: G end; functor
190 signature L = sig val x : ('a -> 'a) -> ('b -> 'b) end; signature
199 signature L = sig val x : ('a -> 'a) -> ('b -> 'b) end; signature
201 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
202 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
208 signature L = sig val x : ('a -> 'a) -> ('b -> 'b) end; signature
210 …functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L en… functor
211 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
218 signature L = sig val x : exn end; signature
220 functor L = functor (L:L)=> functor
222 functor LL = functor(LL:functor(L:L)->L)=> functor
223 LL:functor(L:L)->G; functor
224 functor GL = functor(GL:functor(L:G)->L)=> functor
225 GL:functor(L:L)->L; functor
228 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
229 L_YL:functor(L:L)->sig structure Y: G end; functor
232 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
233 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
234 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
235 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
240 signature L = sig datatype t = D of int end; signature
242 functor L = functor (L:L)=> functor
244 functor LL = functor(LL:functor(L:L)->L)=> functor
245 LL:functor(L:L)->G; functor
246 functor GL = functor(GL:functor(L:G)->L)=> functor
247 GL:functor(L:L)->L; functor
250 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
251 L_YL:functor(L:L)->sig structure Y: G end; functor
254 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
255 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
256 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
257 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
262 signature L = sig type 'a t = unit end; signature
264 functor L = functor (L:L)=> functor
266 functor LL = functor(LL:functor(L:L)->L)=> functor
267 LL:functor(L:L)->G; functor
268 functor GL = functor(GL:functor(L:G)->L)=> functor
269 GL:functor(L:L)->L; functor
272 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
273 L_YL:functor(L:L)->sig structure Y: G end; functor
276 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
277 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
278 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
279 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
284 signature L = sig type 'a myref = 'a end; signature
286 functor L = functor (L:L)=> functor
288 functor LL = functor(LL:functor(L:L)->L)=> functor
289 LL:functor(L:L)->G; functor
290 functor GL = functor(GL:functor(L:G)->L)=> functor
291 GL:functor(L:L)->L; functor
294 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
295 L_YL:functor(L:L)->sig structure Y: G end; functor
298 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
299 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
300 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
301 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
306 signature L = sig type t end; signature
308 functor L = functor (L:L)=> functor
310 functor LL = functor(LL:functor(L:L)->L)=> functor
311 LL:functor(L:L)->G; functor
312 functor GL = functor(GL:functor(L:G)->L)=> functor
313 GL:functor(L:L)->L; functor
316 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
317 L_YL:functor(L:L)->sig structure Y: G end; functor
320 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
321 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
322 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
323 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
328 signature L = sig type t = unit -> unit end; signature
330 functor L = functor (L:L)=> functor
332 functor LL = functor(LL:functor(L:L)->L)=> functor
333 LL:functor(L:L)->G; functor
334 functor GL = functor(GL:functor(L:G)->L)=> functor
335 GL:functor(L:L)->L; functor
338 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
339 L_YL:functor(L:L)->sig structure Y: G end; functor
342 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
343 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
344 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
345 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
350 signature L = sig type t = unit -> unit end; signature
352 functor L = functor (L:L)=> functor
354 functor LL = functor(LL:functor(L:L)->L)=> functor
355 LL:functor(L:L)->G; functor
356 functor GL = functor(GL:functor(L:G)->L)=> functor
357 GL:functor(L:L)->L; functor
360 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
361 L_YL:functor(L:L)->sig structure Y: G end; functor
364 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
365 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
366 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
367 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
372 signature L = sig type t = unit end; signature
374 functor L = functor (L:L)=> functor
376 functor LL = functor(LL:functor(L:L)->L)=> functor
377 LL:functor(L:L)->G; functor
378 functor GL = functor(GL:functor(L:G)->L)=> functor
379 GL:functor(L:L)->L; functor
382 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
383 L_YL:functor(L:L)->sig structure Y: G end; functor
386 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
387 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
388 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
389 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor
394 signature L = functor(X:sig type t end)->sig type u end; signature
396 functor L = functor (L:L)=> functor
398 functor LL = functor(LL:functor(L:L)->L)=> functor
399 LL:functor(L:L)->G; functor
400 functor GL = functor(GL:functor(L:G)->L)=> functor
401 GL:functor(L:L)->L; functor
407 signature L = sig functor F: functor(X:sig type t end)->sig type u end end; signature
411 functor L_YL = functor(L_YL:functor(L:L)->sig structure Y:L end)=> functor
412 L_YL:functor(L:L)->sig structure Y: G end; functor
415 functor L_YG_L = functor(L_YG_L:functor(L:L)->functor(YG:sig structure Y:G end)->L)=> functor
416 L_YG_L:functor(L:L)->functor(YL:sig structure Y:L end)->L; functor
417 functor FLYGL = functor(FLYGL:sig functor F: functor(L:L)->functor(YG:sig structure Y:G end)->L end… functor
418 FLYGL:sig functor F: functor(L:L)->functor(YL:sig structure Y:L end)->L end; functor