Jkind_types
You should use the types defined in Jkind (which redefines the types in this file) rather than using this file directly, unless you are in Types or Primitive.
Jkind
Types
Primitive
module Sort : sig ... end
module Layout : sig ... end