src/utilities/syntacticAnalysis.mli

   1 (** This module provides a general gluing function between lexers and
   2     parsers. *)
   3
   4 (** [process init lex parse input] initialized a lexing buffer using
   5     [init input] and make [lex] and [parse] communicate through it
   6     to produce an abstract syntax tree. *)
   7 val process :
   8   lexer_init : ('a -> 'lexbuf) ->
   9   lexer_fun  : ('lexbuf -> 'token) ->
  10   parser_fun : (('lexbuf -> 'token) -> 'lexbuf -> 'ast) ->
  11   input      : 'a ->
  12   'ast