Repr.Type
Type identifiers. Can be removed once we require OCaml 5.1
type (_, _) eq =
| Equal : ('a, 'a) eq
module Id : sig ... end