Module creusot_contracts::logic::ops

source ·

Traits§

  • AddLogic
    Trait for addition (+) in logic code.
  • DivLogic
    Trait for division (/) in logic code.
  • IndexLogic
    Used for indexing operations (container[index]) in pearlite.
  • MulLogic
    Trait for multiplication (*) in logic code.
  • NegLogic
    Trait for negation (unary -) in logic code.
  • RemLogic
    Trait for remainder (%) in logic code.
  • SubLogic
    Trait for subtraction (-) in logic code.