Module Flambda2_kinds
module Flambda_arity : sig ... endArities are used to describe the layouts of things like function and continuation parameter lists.
module Flambda_kind : sig ... endKinds and subkinds of Flambda types.
module Tag : sig ... endTags on OCaml values.