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