Trait eq
fortraith
pub trait eq { type Result; }
( = ) Chech if two top elements are equal
forth!( 1 2 + 3 = return type Out as top ); assert_eq!(Out::eval(), true);
type Result