Up
Module
Make_output
(
Output
: sig .. end) (
X
:
Typerep_lib.Std.Type_generic.Computation
with
type
'a
t
= 'a ->
Output.t
) :
S
with
type
'a
t
= 'a ->
Output.t
Parameters
Output
: sig .. end
X
:
Typerep_lib.Std.Type_generic.Computation
with
type
'a
t
= 'a ->
Output.t
Signature
type
'a t = 'a ->
Output.t
val
of_typestruct :
Type_struct.t
-> [
| `generic
of
Tagged.t
t
]