Up
–
core_kernel
»
Core_kernel__
»
Binary_searchable_intf
»
Binary_searchable
»
Make
» 1-T
Parameter
Make.1-T
type
elt
type
t
val
get :
t
->
int
->
elt
val
length :
t
->
int