Type Definition DomainSetShardedDefault
blockconvert
type DomainSetShardedDefault = DomainSetSharded<RandomState>;