Up
—
package
core_kernel.base_for_tests
Module type
Base_for_tests__Test_binary_searchable.For_test1
type
'a t
val
of_array :
Base.bool
Base.array
‑>
Base.bool
t