Source file `strategy_intf.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
open! Core

module type S = sig
  type t

  val name : string
  val initialize : unit -> t Or_error.t
  val update : t -> string -> unit

  module For_testing : sig
    (* Meant to let us see how many times [update] is called. *)
    val dump_testing_state : t -> string
  end
end

type t =
  | T :
      { state : 'a
      ; strategy : (module S with type t = 'a)
      }
      -> t