View: Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:General Info | Constrained Elements

assumed_types
Constraint commutative

General Info
Namecommutative
Expressionpost: equal (Result, other + Current) 
Base Classes  Operation

Constrained Elements
NameType
infixOperation