Module Util__.Dlist
val create : unit -> 'a t
Basic list operations
val is_empty : 'a t -> bool
val null_elt : 'a -> 'a element
val map_value : ('a -> 'a) -> 'a element -> 'a element
val first : 'a t -> 'a element option
Navigation using
element
s