diff options
| author | Chimrod <> | 2023-11-04 11:54:08 +0100 |
|---|---|---|
| committer | Chimrod <> | 2023-11-04 11:54:08 +0100 |
| commit | 673da2554d3e667e0a62d5c7bbf30999f1295dc1 (patch) | |
| tree | 6fe7b79a4d70d31c6c405f6a943196a1b857dfdd /lib/syntax/check.mli | |
| parent | 0f24d6d6c6a61c9a3f090649003df7daabff4d65 (diff) | |
List all the available tests on command line
Diffstat (limited to 'lib/syntax/check.mli')
| -rw-r--r-- | lib/syntax/check.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/syntax/check.mli b/lib/syntax/check.mli index 759a07a..daacf47 100644 --- a/lib/syntax/check.mli +++ b/lib/syntax/check.mli @@ -35,6 +35,8 @@ val build : Return the result type which hold the final result value, and checker itself. *) +val get_module : t -> (module S.Analyzer) + type result val get : 'a Id.typeid -> result -> 'a option |