aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/S.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/syntax/S.ml')
-rw-r--r--lib/syntax/S.ml3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml
index 972e405..a961738 100644
--- a/lib/syntax/S.ml
+++ b/lib/syntax/S.ml
@@ -103,6 +103,9 @@ end
(** {1 Unified module used by the parser } *)
module type Analyzer = sig
+ val identifier : string
+ val description : string
+
module Expression : Expression
module Instruction : Instruction with type expression = Expression.t'
module Location : Location with type instruction = Instruction.t'