compiler-libs.optcomp
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.
compiler-libs.bytecomp
compiler-libs.common
compiler-libs.toplevel
dynlink
eval
jit
runtime_events
stdlib
stdlib_alpha
stdlib_beta
stdlib_stable
stdlib_upstream_compatible
str
threads
unix
type _ hlist =
| [] : nil hlist
| :: : 'a * 'b hlist -> ('a -> 'b) hlist