TermArbitrary

SpireArbitrary