module Axiom::Optimizer::Function::Connective