Up
Module
For_all_parameters_S2
(
X
:
Typerep_lib.Std.Typerepable.S2
)
Parameters
X
:
Typerep_lib.Std.Typerepable.S2
Signature
val
witness : unit -> (_, _)
X.t
t