From 673da2554d3e667e0a62d5c7bbf30999f1295dc1 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Sat, 4 Nov 2023 11:54:08 +0100 Subject: List all the available tests on command line --- lib/syntax/S.ml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/syntax/S.ml') 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' -- cgit v1.2.3