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