pub fn verify(p: &Program) -> Result<(), String>
A class definition’s data and methods are programs of their own, each checked as one.