package plato

  1. Overview
  2. Docs

Parameters

module M : MIN_SEQUENCE

Signature

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