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