package plato

  1. Overview
  2. Docs
type e
type t
type key = int
include MIN_SEQUENCE with type e := e and type t := t and type key := key
val getitem : key -> t -> e
include REVERSIBLE with type e := e and type t := t and type key := key
include ITERABLE with type e := e and type t := t and type key := key
val reversed : (key -> e -> unit) -> t -> unit
val reversed_fold : (key -> e -> 'acc -> 'acc) -> t -> 'acc -> 'acc
include COLLECTION with type e := e and type t := t and type key := key and type i := e
include SIZED with type t := t
val len : t -> int
include ITERABLE with type e := e and type t := t and type key := key
val iter : (key -> e -> unit) -> t -> unit
val fold : (key -> e -> 'acc -> 'acc) -> t -> 'acc -> 'acc
include CONTAINER with type t := t and type i := e
val contains : e -> t -> bool