package yices2_bindings

  1. Overview
  2. Docs
type (!'a, !'b) t = ('a * 'b) list
val get : eq:('a -> 'a -> bool) -> 'a -> ('a, 'b) t -> 'b option
val get_exn : eq:('a -> 'a -> bool) -> 'a -> ('a, 'b) t -> 'b
val set : eq:('a -> 'a -> bool) -> 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t
val mem : ?eq:('a -> 'a -> bool) -> 'a -> ('a, 'b) t -> bool
val update : eq:('a -> 'a -> bool) -> f:('b option -> 'b option) -> 'a -> ('a, 'b) t -> ('a, 'b) t
val remove : eq:('a -> 'a -> bool) -> 'a -> ('a, 'b) t -> ('a, 'b) t
val keys : ('a, 'b) t -> 'a list
val values : ('a, 'b) t -> 'b list
val map_values : ('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t