Module type Fixpoint_wto.Graph

Signature for the directed graph on which we do the fixpoint computation.

type transition

module ControlLocation : PatriciaTree.KEY

val preds_with_transition : ControlLocation.t -> (ControlLocation.t * transition) list