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