Fixity

Denotes the fixity and associativity of an operator. Importantly, it also specifies the type of the of the operations themselves. For non-monolithic structures this is described by fixity.GOp, subtyped structures fixity.SOp, and for monolithic structures fixity.Op.