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