1 2 3 4 5
use super::{DivisionRing, EuclideanRing}; pub trait Field: EuclideanRing + DivisionRing {} impl<A> Field for A where A: EuclideanRing + DivisionRing {}