Up
–
generalised_signatures
»
Generalised_signatures
»
Indexable
»
Indexable0_to_N
» 1-X
Parameter
Indexable0_to_N.1-X
type
t
type
elt
val
get :
t
->
int
->
elt
val
length :
t
->
int