package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
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