Module B0_std.Type

type (!_, !_) eq =
  1. | Equal : ('a, 'a) eq
module Id : sig ... end