Parameter `Make_map_function_with_init.1-S`

type state_type

module Param : Core.Binable

module Input : Core.Binable

module Output : Core.Binable

val init : Param.t -> state_type Async.Deferred.t
val map : state_type -> Input.t -> Output.t Async.Deferred.t