Up – Package index » lrgrep » Library lrgrep.top » Lrgrep_top

Module `Lrgrep_top`Source

Sourceval run_lrgrep : unit -> unit

Sourcetype 'a with_position = 'a * Lexing.position * Lexing.position

val run_custom_lrgrep : 
  language_name:string ->
  parser_module_name:string ->
  grammar:'g Kernel.Info.grammar ->
  ?string_of_terminal:('g Kernel.Info.terminal Fix.Indexing.index -> string) ->
  ?string_of_sentence:
    ('g Kernel.Info.terminal Fix.Indexing.index list -> string) ->
  ?sentence_lexer:
    (in_channel ->
      string with_position option
      * 'g Kernel.Info.terminal Fix.Indexing.index with_position list) ->
  unit ->
  unit