interface.mli 832 Bytes
Newer Older
1 2 3 4 5 6 7
(* This module defines the interface of the generated parser. *)

(* This is the [Error] exception. *)

val excname: string
val excdef: IL.excdef

8
(* The type of the entry point for the start symbol [nt]. *)
9

10
val entrytypescheme: UnparameterizedSyntax.grammar -> string -> IL.typescheme
11

12 13 14 15 16
(* The name of the interpreter sub-module, when the table back-end
   is used. *)

val interpreter: string

17
(* The type ['a checkpoint], defined in the interpreter sub-module. *)
18

19
val checkpoint: IL.typ -> IL.typ
20

21
(* The name of the sub-module that contains the incremental entry points. *)
22

23
val incremental: string
24

25 26 27 28
(* The name of the sub-module that contains the inspection API. *)

val inspection: string

29
(* This writes the interface of the generated parser to the [.mli] file. *)
30

31
val write: UnparameterizedSyntax.grammar -> unit -> unit
32