!include once #1034831 // Gazelle 22 Function Include for Testing

svoid test_leftArrowScript_binaryOperators() {
  var test = new TestFunctionValues<S, O>(l1 leftArrowVerbose);
  
  test
    .io([[&& true false]], false)
    .io([[&& true true]], true)
    .io([[&& false true]], false)
    .io([[&& false false]], false)
    .io([[&& false (fail)]], false) // test short-cut evaluation
  .runAndClear();
}