Up

Module type Binary_searchable

Signature

module type S = S
module type S1 = S1
module type Indexable = Indexable
module type Indexable1 = Indexable1
module Make (T : Indexable) : S with type t := T.t with type elt := T.elt
module Make1 (T : Indexable1) : S1 with type 'a t := 'a T.t
module Make_without_tests (T : Indexable_without_tests) : S with type t := T.t with type elt := T.elt
module Make1_without_tests (T : Indexable1_without_tests) : S1 with type 'a t := 'a T.t