Report question

Question: OCaml: Type Checking Objects