Module type Binary_searchable_intf.S1

module type S1 = sig .. end

type 'a t 

val binary_search : ?pos:int ->
       ?len:int ->
       'a t ->
       compare:('a -> 'a -> int) -> 'a -> int option