Up
Module
For_all_parameters_S1
(
X
:
Typerep_lib.Std.Typerepable.S1
)
Parameters
X
:
Typerep_lib.Std.Typerepable.S1
Signature
val
witness : unit -> _
X.t
t