# Test short-circuit evaluation
let
  alwaysFalse = false;
  alwaysTrue = true;
  x = 10;
in
  {
    and_false = alwaysFalse && alwaysTrue;
    or_true = alwaysTrue || alwaysFalse;
    impl_false = alwaysFalse -> alwaysFalse;
  }