diff options
Diffstat (limited to 'lib/syntax/default.ml')
-rw-r--r-- | lib/syntax/default.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/syntax/default.ml b/lib/syntax/default.ml index f4bc34e..9c5073c 100644 --- a/lib/syntax/default.ml +++ b/lib/syntax/default.ml @@ -1,3 +1,8 @@ +(** Default implementation which does nothing. + +This module is expected to be used when you only need to implement an analyze +over a limited part of the whole syntax. *) + type pos = Lexing.position * Lexing.position type ('a, 'b) variable = { pos : 'a; name : string; index : 'b option } @@ -5,7 +10,7 @@ module Expression = struct type 'a obs type repr = unit - type variable = { pos : pos; name : string; index : repr option } + type variable (** Describe a variable, using the name in capitalized text, and an optionnal index. |