Annot_lexer (gillian-c.Cgil_lib.Annot

exception SyntaxError of string

val next_line : Stdlib.Lexing.lexbuf -> unit

val in_annot : bool Stdlib.ref

val __ocaml_lex_tables : Stdlib.Lexing.lex_tables

val read : Stdlib.Lexing.lexbuf -> Annot_parser.token

val __ocaml_lex_read_rec : Stdlib.Lexing.lexbuf -> int -> Annot_parser.token

val read_comment : Stdlib.Lexing.lexbuf -> Annot_parser.token

val __ocaml_lex_read_comment_rec : 
  Stdlib.Lexing.lexbuf ->
  int ->
  Annot_parser.token

val read_string : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> Annot_parser.token

val __ocaml_lex_read_string_rec : 
  Stdlib.Buffer.t ->
  Stdlib.Lexing.lexbuf ->
  int ->
  Annot_parser.token