aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/S.ml
diff options
context:
space:
mode:
authorChimrod <>2023-11-04 17:16:16 +0100
committerChimrod <>2023-11-04 17:16:16 +0100
commit6ada3862d96f82e44b3b19dd84d08cbb8c6a6006 (patch)
treee2fa4e223c4ce0f3945af76f9e82e887b307a95b /lib/syntax/S.ml
parent673da2554d3e667e0a62d5c7bbf30999f1295dc1 (diff)
Allow test to be enabled or disabled by command line
Diffstat (limited to 'lib/syntax/S.ml')
-rw-r--r--lib/syntax/S.ml6
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'