sig
  type t
  type 'a embedding
  val embed : unit -> 'Datalog.Univ.embedding
  val pack : 'Datalog.Univ.embedding -> '-> Datalog.Univ.t
  val unpack : 'Datalog.Univ.embedding -> Datalog.Univ.t -> 'a option
  val compatible : 'Datalog.Univ.embedding -> Datalog.Univ.t -> bool
end