@internal class Bool {
  @internal fun toInt() -> Int;

  fun hash() -> Int = self.toInt();

  fun toString() -> String {
    if self {
      return "true";
    } else {
      return "false";
    }
  }

  @internal fun equals(rhs: Bool) -> Bool;
  @internal fun not() -> Bool;
}