pub const IMPLEMENTS: &str = "implements";
A type implements a trait (impl Trait for Type) — from syntax.
impl Trait for Type