Report question

Question: OCaml explicit type signatures