Trait not
fortraith
pub trait not { type Result; }
Apply logical not to the top element
forth!( true not return type Out as top ); assert_eq!(Out::eval(), false);
type Result