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