Up
—
package
core_kernel
Module
Core_kernel.Univ.View
type
t
=
|
T
:
'a
Type_equal.Id.t
*
'a
‑>
t