FixedPoint

SpireArbitrary

FixedScale

SpireArbitrary

FreeAbGroupArbitrary

SpireArbitrary

FreeAbTerm

SpireArbitrary

FreeAbTermArbitrary

SpireArbitrary

FreeGroupArbitrary

SpireArbitrary

FreeMonoidArbitrary

SpireArbitrary

field

RingLaws

fromParent

RingProperties SpaceProperties