Up
–
core_kernel
»
Core_kernel__
»
Binary_searchable_intf
»
Binary_searchable
»
Make1
» 1-T
Parameter
Make1.1-T
type
'a t
val
get :
'a
t
->
int
->
'a
val
length :
_
t
->
int