+ (#LexiconEngine.status as 'status) ->
+ 'status * ast_statement localized_option
+
+val parse_statement: Ulexing.lexbuf -> #LexiconEngine.status statement (** @raise End_of_file *)
+
+val statement: unit -> #LexiconEngine.status statement Grammar.Entry.e