Module ops 

Traits

AddLogic

Trait for addition (+) in logic code.

DivLogic

Trait for division (/) in logic code.

Fin

IndexLogic

Used for indexing operations (container[index]) in pearlite.

MulLogic

Trait for multiplication (*) in logic code.

NegLogic

Trait for negation (unary -) in logic code.

NthBitLogic

Trait for the nth bit of a bitvector in logic code.

RemLogic

Trait for remainder (%) in logic code.

SubLogic

Trait for subtraction (-) in logic code.