aboutsummaryrefslogtreecommitdiff
path: root/lib/checks/dead_end.mli
blob: 73ec86af8e90e7516d48d2b5da737fe1f859e7ff (plain)
1
2
3
4
5
(** Checker looking for the dead ends in the source.

    A dead end is a state where the user does not have any action. *)

include Qsp_syntax.Analyzer.T with type ex = Qsp_syntax.Identifier.t