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