Datalog.Constant
The Constant module only provides a heterogenous list to represent lists of values.
Constant
It is intended to be used with type-directed disambiguation.
type _ hlist =
| [] : nil hlist
| :: : 'a * 'b hlist -> ('a -> 'b) hlist