Datalog.Term
type 'a t
type _ hlist =
| [] : Flambda2_datalog.Datalog.nil Flambda2_datalog.Datalog.Term.hlist
| :: : 'a Flambda2_datalog.Datalog.Term.t * 'b Flambda2_datalog.Datalog.Term.hlist -> ('a -> 'b) Flambda2_datalog.Datalog.Term.hlist
val constant : 'a -> 'a Flambda2_datalog.Datalog.Term.t