Trait pred
fortraith
pub trait pred { type Result; }
Decrement the top element
forth!( 8 pred pred return type Out as top ); assert_eq!(Out::eval(), 6);
type Result