diff options
Diffstat (limited to 'lib/syntax/dead_end.mli')
| -rw-r--r-- | lib/syntax/dead_end.mli | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/syntax/dead_end.mli b/lib/syntax/dead_end.mli index ce48791..451fe58 100644 --- a/lib/syntax/dead_end.mli +++ b/lib/syntax/dead_end.mli @@ -1 +1,6 @@ -include S.Analyzer with type Location.t = unit +(** Checker looking for the dead ends in the source. + + A dead end is a state where the user does not have any action. + *) + +include S.Analyzer |