Module Core_kernel__.Type_immediacy.Never.For_all_parameters_S2

Parameters

X : Core_kernel__.Import.Typerepable.S2

Signature

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