Why not:

```ocaml
let typecheck phrase =
```