diff options
Diffstat (limited to 'lib/syntax/S.ml')
-rw-r--r-- | lib/syntax/S.ml | 3 |
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' |