Module Core_kernel.Type_immediacy.Sometimes.For_all_parameters_S5

Parameters

Signature

val witness : Core_kernel__.Import.unit ‑> (_____X.t t