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