376def continuationEntriesOfSix =
377 (lambda unrestricted a : (family ContinuationEntry) .
378 (lambda unrestricted b : (family ContinuationEntry) .
379 (lambda unrestricted c : (family ContinuationEntry) .
380 (lambda unrestricted d : (family ContinuationEntry) .
381 (lambda unrestricted e : (family ContinuationEntry) .
382 (lambda unrestricted f : (family ContinuationEntry) .
383 (constructor
384 StdList
385 StdListCons
386 (family ContinuationEntry)
387 a
388 (constructor
389 StdList
390 StdListCons
391 (family ContinuationEntry)
392 b
393 (constructor
394 StdList
395 StdListCons
396 (family ContinuationEntry)
397 c
398 (constructor
399 StdList
400 StdListCons
401 (family ContinuationEntry)
402 d
403 (constructor
404 StdList
405 StdListCons
406 (family ContinuationEntry)
407 e
408 (constructor
409 StdList
410 StdListCons
411 (family ContinuationEntry)
412 f
413 (constructor StdList StdListEmpty (family ContinuationEntry))))))))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.