Up
Parameter
X
:
Core_kernel.T.T1
Signature
type
'a t