let
type_annot_re =
Str
.regexp
"^type(\n\\( \\([^\n)]\\|.)\\|\n[^)]\\)*\\)\n)"