pub trait MaybeImmediate { // Required method fn imm_value(&self) -> Option<Value>; // Provided method fn is_imm(&self) -> bool { ... } }