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