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