Up – core_kernel » Core_kernel » Type_immediacy » Sometimes » For_all_parameters_S4

Module `Sometimes.For_all_parameters_S4`

Parameters

X : Core_kernel__.Import.Typerepable.S4

Signature

val witness : Core_kernel__.Import.unit -> (_, _, _, _) X.t t