Module SList
Sparse lists.
Constructors
type +'a t
= private
|
Nil
|
Cons of 'a * 'a t
|
Default of int * 'a t
'a t
is an efficient representation of'a option list
.
val empty : 'a t
The empty list.
Destructor
Usual list-like operators
Iterators ignoring optional values
module Skip : sig ... end
These iterators ignore the default values in the list.
Smart iterators
module Smart : sig ... end
These iterators also ignore the default values in the list.