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