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