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