You can search for identifiers within the package.
in-package search v0.2.0
datalog.caml_interface
Datalog_caml_interface.RelList
type 'a t
val name : _ t -> string
val create : ?k:'a Univ.key -> string -> 'a t
val get : 'a t -> Logic.T.t -> 'a list option
val make : 'a t -> 'a list -> Logic.T.t