Module type Sigs.FLOW

type backend
type flow
val input : flow -> bytes -> int -> int -> (int, backend) io