Module Core_kernel__.Type_immediacy.Always.For_all_parameters_S2

Parameters

Signature

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