pub trait TowerFamily {
type B1: TowerField;
type B8: TowerField;
type B16: TowerField;
type B32: TowerField;
type B64: TowerField;
type B128: TowerField + ExtensionField<Self::B1> + ExtensionField<Self::B8> + ExtensionField<Self::B16> + ExtensionField<Self::B32> + ExtensionField<Self::B64>;
}
Expand description
A trait that groups a family of related TowerField
s as associated types.