LEX (yalo_plugin_ocaml.Yalo_plugin_ocaml.Annotations.LEX)

val extract_STRING : Parser.token -> string * string option

val with_string : 
  loc:Location.t ->
  (loc:'a -> string -> (Parser.token * 'a) list -> (Parser.token * 'a) list) ->
  (Parser.token * 'a) list ->
  (Parser.token * 'a) list

val with_value : 
  loc:Location.t ->
  (loc:'a -> string -> (Parser.token * 'a) list -> (Parser.token * 'a) list) ->
  (Parser.token * 'a) list ->
  (Parser.token * 'a) list

val with_path : 
  loc:Location.t ->
  string list ->
  (loc:Location.t ->
    string list ->
    (Parser.token * Location.t) list ->
    (Parser.token * Location.t) list) ->
  (Parser.token * Location.t) list ->
  (Parser.token * Location.t) list

val check_yalo_annot : 
  file:Yalo__V1.YALO_TYPES.file ->
  loc:Location.t ->
  string ->
  (Parser.token * Location.t) list ->
  (Parser.token * Location.t) list

val check_tokens : 
  file:Yalo__V1.YALO_TYPES.file ->
  (Parser.token * Location.t) list ->
  unit