コード例 #1
0
ファイル: Module.php プロジェクト: bluesnowman/fphp-saber
 /**
  * This method evaluates whether the left operand is identical to the right operand.
  *
  * @access public
  * @static
  * @param IInt32\Type $x                                    the left operand
  * @param Core\Type $y                                      the right operand
  * @return IBool\Type                                       whether the left operand is identical
  *                                                          to the right operand
  */
 public static function id(IInt32\Type $x, Core\Type $y) : IBool\Type
 {
     // ===
     if ($x->__typeOf() === $y->__typeOf()) {
         return IBool\Type::box($x->unbox() === $y->unbox());
     }
     return IBool\Type::false();
 }