Constant RefinedBy 

pub const RefinedBy: Symbol;