sig
  val solver : ('data, 'kind) Cvode.linear_solver
  val get_work_space : ('d, 'k) Cvode.session -> int * int
  val get_num_rhs_evals : ('d, 'k) Cvode.session -> int
end