Module type Violation.Feasibility

module Node : MyARG.Node
type result =
  1. | Feasible
  2. | Infeasible of (Node.t * MyARG.inline_edge * Node.t) list
  3. | Unknown
val check_path : (Node.t * MyARG.inline_edge * Node.t) list -> result