package core

  1. Overview
  2. Docs
package core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file test_binary_searchable_intf.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
(** Produce unit tests for binary searchable containers *)

open! Base
open! Binary_searchable

module type For_test = sig
  (** To implement the tests, we need two different [elt] values [small < big], to be able
      to compare those values, and to be able to construct a [t] containing those
      values. *)

  type t
  type elt

  val compare : elt -> elt -> int
  val small : elt
  val big : elt
  val of_array : elt array -> t
end

module type For_test1 = sig
  type 'a t

  val of_array : bool array -> bool t
end

module type Indexable_and_for_test = sig
  include Indexable
  module For_test : For_test with type elt := elt with type t := t
end

module type Indexable1_and_for_test = sig
  include Indexable1
  module For_test : For_test1 with type 'a t := 'a t
end

module type Binary_searchable_and_for_test = sig
  include Binary_searchable.S
  module For_test : For_test with type elt := elt with type t := t
end

module type Binary_searchable1_and_for_test = sig
  include Binary_searchable.S1
  module For_test : For_test1 with type 'a t := 'a t
end

module type Test_binary_searchable = sig
  module type For_test = For_test
  module type For_test1 = For_test1

  module Test (M : Binary_searchable_and_for_test) : sig end
  module Test1 (M : Binary_searchable1_and_for_test) : sig end

  (** [Make_and_test] does [Binary_searchable.Make] and [Test]. *)
  module Make_and_test (T : Indexable_and_for_test) :
    S with type t := T.t with type elt := T.elt

  module Make1_and_test (T : Indexable1_and_for_test) : S1 with type 'a t := 'a T.t
end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct