Source file `vdom_input_widgets_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
open Core

module type Display = sig
  type t

  val to_string : t -> string
end

module type Equal = sig
  type t [@@deriving equal]

  include Display with type t := t
end

module type Enum = sig
  type t [@@deriving equal, enumerate]

  include Display with type t := t
end

module type Set = sig
  type t
  type comparator_witness

  include Comparator.S with type t := t and type comparator_witness := comparator_witness
  include Display with type t := t
end

module type Enum_set = sig
  type t [@@deriving enumerate]
  type comparator_witness

  include Comparator.S with type t := t and type comparator_witness := comparator_witness
  include Enum with type t := t
end