Source file `strategy_intf.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
open! Core

module type S = sig
  type t

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

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