diff options
Diffstat (limited to 'lib/syntax/S.ml')
| -rw-r--r-- | lib/syntax/S.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml index a961738..afb6526 100644 --- a/lib/syntax/S.ml +++ b/lib/syntax/S.ml @@ -104,7 +104,13 @@ end module type Analyzer = sig val identifier : string + (** Identifier for the module *) + val description : string + (** Short description*) + + val active : bool ref + (** Is the test active or not *) module Expression : Expression module Instruction : Instruction with type expression = Expression.t' |