Module type Dataflow.DATAFLOW

module type DATAFLOW = sig .. end

Data-flow

type l

same as Dataflow.LATTICE.l

type st

same as Dataflow.SCHEDULER.st

val init : st -> l

initial Dataflow.LATTICE.l

val trans : l -> st -> l

transfer function

Web Accessibility