sig
module Make :
functor (A : Model.S) ->
sig
val is_safe_fwd_invariant : A.State.t list -> bool
val is_safe_bwd_invariant : A.State.t list -> bool
val is_empty_path_feasible : unit -> bool
val is_non_empty_path_fwd_feasible :
A.Automaton.Transition.t list -> bool
val is_non_empty_path_bwd_feasible :
A.Automaton.Transition.t list -> bool
end
end