package plato

  1. Overview
  2. Docs
type e
type t
type key
type i
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 := i
val contains : i -> t -> bool