sig
  type 'a t
  val name : 'a CamlInterface.Rel1.t -> string
  val create :
    ?k:'a CamlInterface.Univ.key -> string -> 'a CamlInterface.Rel1.t
  val get : 'a CamlInterface.Rel1.t -> CamlInterface.Logic.T.t -> 'a option
  val make : 'a CamlInterface.Rel1.t -> 'a -> CamlInterface.Logic.T.t
  val apply :
    'a CamlInterface.Rel1.t ->
    CamlInterface.Logic.T.t -> CamlInterface.Logic.T.t
  val find : CamlInterface.Logic.DB.t -> 'a CamlInterface.Rel1.t -> 'a list
  val subset :
    CamlInterface.Logic.DB.t ->
    'a CamlInterface.Rel1.t -> 'a CamlInterface.Rel1.t -> unit
  val from_fun :
    CamlInterface.Logic.DB.t ->
    'a CamlInterface.Rel1.t -> ('a -> bool) -> unit
  val add_list :
    CamlInterface.Logic.DB.t -> 'a CamlInterface.Rel1.t -> 'a list -> unit
  val to_string : 'a CamlInterface.Rel1.t -> string
  val fmt : Format.formatter -> 'a CamlInterface.Rel1.t -> unit
end