original_string: public static function equiv($constraintA, $constraintB) {
          return function ($features) use ($constraintA, $constraintB) {
              return $constraintA($features) === $constraintB($features);
          };
      }
code: public static function equiv($constraintA, $constraintB) {
          return function ($features) use ($constraintA, $constraintB) {
              return $constraintA($features) === $constraintB($features);
          };
      }
code_tokens: public static function equiv ( $ constraintA , $ constraintB ) { return function ( $ features ) use ( $ constraintA , $ constraintB ) { return $ constraintA ( $ features ) === $ constraintB ( $ features ) ; } ; }
docstring: Returns a formula that is the biconditional of two formulas.
  @param callable $constraintA
  @param callable $constraintB
  @return callable
docstring_tokens: Returns a formula that is the biconditional of two formulas .