jon.recoil.org

Parameter Cons.S

type keys
type value
type t
val columns : (t, keys, value) Column.hlist
val default_value : value
val create : name:string -> (t, keys, value) table
val empty : t
val is_empty : t -> bool
val singleton : keys Constant.hlist -> value -> t
val add_or_replace : keys Constant.hlist -> value -> t -> t
val remove : keys Constant.hlist -> t -> t
val union : (value -> value -> value option) -> t -> t -> t
val find_opt : keys Constant.hlist -> t -> value option