path: root/lib/checks/dead_end.mli

(** 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.S.Analyzer