pub const implied_by: Symbol;