Module Violation.UnknownFeasibility

Parameters

module Node : MyARG.Node

Signature

module Node = 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