package plato

  1. Overview
  2. Docs
type 'e t
type key
type i
include POLYMORPHIC_SIZED with type 'e t := 'e t
val len : 'e t -> int
include POLYMORPHIC_ITERABLE with type 'e t := 'e t and type key := key
val iter : (key -> 'e -> unit) -> 'e t -> unit
val fold : (key -> 'e -> 'acc -> 'acc) -> 'e t -> 'acc -> 'acc
include POLYMORPHIC_CONTAINER with type 'e t := 'e t and type i := i
val contains : i -> 'e t -> bool