jon.recoil.org

Module Schema.Relation1

Parameters

module C : Column.S

Signature

type keys = C.t -> nil
type value = unit
type t = unit 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