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