Are implies statements used only in proofs about the trait, or are traits given on an implies statement also inherited by the parent trait?
(an implies statement; inherited; by the parent trait)
an implies statement
inherited
by the parent trait