sig
  type 'data context
  module type Sig =
    sig
      type data
      val prefix : string
      val name : string
      val out_dir : string
      val no_stuttering : bool
      val abstract_subsystems : bool
      val mk_context :
        TestgenLib.sys ->
        (TestgenLib.actlit -> unit) ->
        (?eq:bool -> (TestgenLib.actlit * TestgenLib.term) list -> unit) ->
        (TestgenLib.actlit list ->
         TestgenLib.term list -> TestgenLib.values option) ->
        (string -> unit) ->
        TestgenStrategies.Sig.data TestgenStrategies.context
      val work :
        TestgenStrategies.Sig.data TestgenStrategies.context ->
        TestgenLib.k -> bool
      val testcase_gen :
        string ->
        (string -> string -> string -> string list -> unit) ->
        TestgenStrategies.Sig.data TestgenStrategies.context ->
        (TestgenLib.actlit list -> TestgenLib.model option) -> unit
    end
  val dummy : (module TestgenStrategies.Sig)
  val unit_mode_switch : (module TestgenStrategies.Sig)
end