S.OFLOW
type scheduler
type buffer
type error
type flow
val output : flow -> buffer -> off:int -> len:int -> ((int, error) Stdlib.result, scheduler) io