Method: ADSL::Verification::FormulaGenerators#equiv

Defined in:
lib/adsl/verification/formula_generators.rb

#equiv(*params) ⇒ Object 



138
139
140
 
# File 'lib/adsl/verification/formula_generators.rb', line 138

def equiv(*params)
  binary_op_with_any_number_of_params :equiv, ASTEquiv, params
end