sig
  type 'a t
  val name : 'a CamlInterface.RelList.t -> string
  val create :
    ?k:'a CamlInterface.Univ.key -> string -> 'a CamlInterface.RelList.t
  val get :
    'a CamlInterface.RelList.t -> CamlInterface.Logic.T.t -> 'a list option
  val make : 'a CamlInterface.RelList.t -> 'a list -> CamlInterface.Logic.T.t
end