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