Module Datalog.Term

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