package safa

  1. Overview
  2. Docs
type ('v, 'a) t
val empty : 'a -> ('v, 'a) t
val single : 'v -> 'a -> 'a -> ('v, 'a) t
val merge : ('a -> 'a -> 'a) -> ('v, 'a) t -> ('v, 'a) t -> ('v, 'a) t
val map : ('a -> 'b) -> ('v, 'a) t -> ('v, 'b) t
val iter : ('v -> 'a -> unit) -> ('v, 'a) t -> unit
val iter2 : ('v -> 'a -> 'a -> unit) -> ('v, 'a) t -> ('v, 'a) t -> unit
val get : ('v, 'a) t -> 'v -> 'a