Module Never.For_all_parameters_S3

Parameters

• X : Core_kernel__.Import.Typerepable.S3

Signature

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