#[derive(PrimeField)]
{
// Attributes available to this derive:
#[PrimeFieldModulus]
#[PrimeFieldGenerator]
#[OptimisticCIOSMultiplication]
#[OptimisticCIOSSquaring]
}
#[derive(PrimeField)]
{
// Attributes available to this derive:
#[PrimeFieldModulus]
#[PrimeFieldGenerator]
#[OptimisticCIOSMultiplication]
#[OptimisticCIOSSquaring]
}