diff options
| author | Chimrod <> | 2023-10-25 22:23:06 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-25 22:23:06 +0200 |
| commit | fc235a1d2b7f10e6b5b1d7ed4328e2f9f7714171 (patch) | |
| tree | 99530ff84778167ed02b267dbc1ef7f9c1aff2ac /lib/syntax/dead_end.mli | |
| parent | 319c1e4474f4fefde688720b78e8abf315513a32 (diff) | |
Updated the documentation
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 |