Up
—
package
core_kernel
Module
Core_kernel__Type_immediacy.Always.For_all_parameters_S1
Parameters
X
:
Core_kernel__.Import.Typerepable.S1
Signature
val
witness :
Core_kernel__.Import.unit
‑>
_
X.t
t