sig
  type 'd quadrhsfn = float -> '-> '-> '-> unit
  val init :
    ('d, 'k) Ida.session ->
    'Idas.Quadrature.quadrhsfn -> ('d, 'k) Nvector.t -> unit
  val reinit : ('d, 'k) Ida.session -> ('d, 'k) Nvector.t -> unit
  val get : ('d, 'k) Ida.session -> ('d, 'k) Nvector.t -> float
  val get_dky :
    ('d, 'k) Ida.session -> ('d, 'k) Nvector.t -> float -> int -> unit
  type ('d, 'k) tolerance =
      NoStepSizeControl
    | SStolerances of float * float
    | SVtolerances of float * ('d, 'k) Nvector.t
  val set_tolerances :
    ('d, 'k) Ida.session -> ('d, 'k) Idas.Quadrature.tolerance -> unit
  val get_num_rhs_evals : ('d, 'k) Ida.session -> int
  val get_num_err_test_fails : ('d, 'k) Ida.session -> int
  val get_err_weights : ('d, 'k) Ida.session -> ('d, 'k) Nvector.t -> unit
  val get_stats : ('d, 'k) Ida.session -> int * int
  exception QuadNotInitialized
  exception QuadRhsFuncFailure
  exception FirstQuadRhsFuncFailure
  exception RepeatedQuadRhsFuncFailure
end