Module type Ctrlflow.CTRLFLOW

module type CTRLFLOW = sig .. end
Control-flow

type st 
statement type
val start : st
starting statement
val last : st
last statement
val all : st list
all statements
val pred : st -> st list
predecessors
val succ : st -> st list
successors
val to_s : st -> string
for debugging

Web Accessibility