jon.recoil.org

Module Schema.Cons

Parameters

module C : Column.S
module S : S

Signature

type keys = C.t -> S.keys
type value = S.value
type t = S.t C.Map.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