sig
  type l
  type st
  val init : Dataflow.DATAFLOW.st -> Dataflow.DATAFLOW.l
  val trans :
    Dataflow.DATAFLOW.l -> Dataflow.DATAFLOW.st -> Dataflow.DATAFLOW.l
end

Web Accessibility