sig
  val force_compute : unit -> unit
  val cvalue_initial_state : unit -> Cvalue.Model.t
end