Red::AST::Optimizer::OR

method optimize

method optimize(
    Red::AST::Infix $left where { ... },
    Red::AST::Infix $right where { ... },
    1
) returns Mu

x > 1 OR x > 10 ==> x > 10

method optimize

method optimize(
    Red::AST::Infix $left where { ... },
    Red::AST::Infix $right where { ... },
    1
) returns Mu

x < 1 OR x < 10 ==> x < 1

method optimize

method optimize(
    Red::AST::Infix $left where { ... },
    Red::AST::Infix $right where { ... },
    1
) returns Mu

x < 10 OR x > 1 ==> True

method optimize

method optimize(
    Red::AST::Infix $left where { ... },
    Red::AST::Infix $right where { ... },
    1
) returns Mu

x > 1 OR x < 10 ==> True

method optimize

method optimize(
    $left where { ... },
    $right where { ... },
    1
) returns Mu

a.b OR NOT(a.b) ==> True

method optimize

method optimize(
    $left where { ... },
    $right where { ... },
    1
) returns Mu

NOT(a.b) AND a.b ==> True