Commit 40d92a65 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Add a comment about the type [production].

parent 5bfbf871
......@@ -24,6 +24,12 @@ module type INCREMENTAL_ENGINE = sig
type token
(* A value of type [production] is (an index for) a production. The start
productions (which do not exist in an \mly file, but are constructed by
Menhir internally) are not part of this type. *)
type production
(* The type ['a checkpoint] represents an intermediate or final state of the
parser. An intermediate checkpoint is a suspension: it records the parser's
current state, and allows parsing to be resumed. The parameter ['a] is
......@@ -63,8 +69,6 @@ module type INCREMENTAL_ENGINE = sig
type 'a env
type production
type 'a checkpoint = private
| InputNeeded of 'a env
| Shifting of 'a env * 'a env * bool
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment