Up
–
pickles_types
»
Pickles_types
»
Vector
» T
Module
Vector.T
type
('a, _) t
=
|
[]
:
(
'a
,
Nat.z
)
t
|
::
:
'a
*
(
'a
,
'n
)
t
->
(
'a
,
'n
Nat.s
)
t