Up
Module
Make_map_function
(
S
:
Map_function_spec
) :
Map_function
with
type
Param.t
= unit
and
type
Input.t
=
S.Input.t
and
type
Output.t
=
S.Output.t
Parameters
S
:
Map_function_spec
Signature
module
Param
:
Core.Std.Binable
with
type
t
= unit
module
Input
:
Core.Std.Binable
with
type
t
=
S.Input.t
module
Output
:
Core.Std.Binable
with
type
t
=
S.Output.t
module
Worker
:
Worker
with
type
param_type
=
Param.t
and
type
run_input_type
=
Input.t
and
type
run_output_type
=
Output.t