module Rel3: sig .. end
type ('a, 'b, 'c) t
val name : ('a, 'b, 'c) t -> string
val create : ?k1:'a CamlInterface.Univ.key ->
?k2:'b CamlInterface.Univ.key ->
?k3:'c CamlInterface.Univ.key -> string -> ('a, 'b, 'c) t
val get : ('a, 'b, 'c) t ->
CamlInterface.Logic.T.t -> ('a * 'b * 'c) option
val make : ('a, 'b, 'c) t ->
'a -> 'b -> 'c -> CamlInterface.Logic.T.t
val apply : ('a, 'b, 'c) t ->
CamlInterface.Logic.T.t ->
CamlInterface.Logic.T.t -> CamlInterface.Logic.T.t -> CamlInterface.Logic.T.t
val find : CamlInterface.Logic.DB.t ->
('a, 'b, 'c) t -> ('a * 'b * 'c) list
val subset : CamlInterface.Logic.DB.t ->
('a, 'b, 'c) t ->
('a, 'b, 'c) t -> unit
val from_fun : CamlInterface.Logic.DB.t ->
('a, 'b, 'c) t -> ('a -> 'b -> 'c -> bool) -> unit
val add_list : CamlInterface.Logic.DB.t ->
('a, 'b, 'c) t -> ('a * 'b * 'c) list -> unit
val to_string : ('a, 'b, 'c) t -> string
val fmt : Format.formatter -> ('a, 'b, 'c) t -> unit