ocaml-variants

OCaml 4.12.0, with support for multicore domains
package ocaml-variants
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library stdlib
Module Stdlib . Seq
type 'a t = unit -> 'a node

The type of delayed lists containing elements of type 'a. Note that the concrete list node 'a node is delayed under a closure, not a lazy block, which means it might be recomputed every time we access it.

and +'a node =
| Nil
| Cons of 'a * 'a t

A fully-evaluated list node, either empty