Class

metaclass Class < Value

  # The same type, whatever static type the class value has: `Sub ==
  # Sub.as(Base.class)` is true. A class value is its metaclass's id.
  def ==(other : Class) : Bool

  # The same type, whatever static type the class value has: `Sub ==
  # Sub.as(Base.class)` is true. A class value is its metaclass's id.
  def ==(other : Class) : Bool

  # `Int32 === 1`, and `Int32 | String` as a value: a `when` asks these of
  # the types in a tuple of types and of a union it is written with.
  def ===(other) : Bool

  # `Int32 === 1`, and `Int32 | String` as a value: a `when` asks these of
  # the types in a tuple of types and of a union it is written with.
  def ===(other) : Bool

  def self.|(other : U.class) forall U

  def self.|(other : U.class) forall U
end