module Sundials:sig..end
Generic definitions, arrays, matrices, linear solvers, nonlinear solvers, and utility functions.
module Config: Sundials_ConfigInstallation specific constants.
module Index: Sundials_IndexIndex values for sparse matrices.
module Logfile:sig..end
A rudimentary interface to C streams for logging in Sundials.
module Profiler:sig..end
Performance profiling
module Context:sig..end
Contexts for creating Sundials values
exception RecoverableFailure
Indicates a recoverable failure within a callback function. Any other exception normally indicates an unrecoverable failure.
exception NonPositiveEwt
Raised by error-weight functions on non-positive error weights. See
Cvode.WFtolerances or
Ida.WFtolerances.
type'fcfun ='f Callback.cfun
A callback function into the underlying library.
val invoke : 'f cfun -> 'fUse a callback function provided by the underlying library.
module RealArray: Sundials_RealArrayVectors of floats (one-dimensional bigarrays).
module RealArray2: Sundials_RealArray2Matrices of floats (two-dimensional bigarrays plus extra information for Sundials.
module LintArray: Sundials_LintArrayVectors of integers (one-dimensional bigarrays).
module ROArray: Sundials_ROArrayRead-only polymorphic arrays.
module Roots:sig..end
Vectors of root (zero-crossing) statuses.
module RootDirs:sig..end
Vectors of root (zero-crossing) directions.
module Constraint:sig..end
Symbolic names for variable constraints.
module Matrix: Sundials_MatrixGeneric matrices.
module LinearSolver: Sundials_LinearSolverGeneric linear solvers.
module NonlinearSolver: Sundials_NonlinearSolverGeneric nonlinear solvers.
module Util:sig..end
Shared definitions and miscellaneous utility functions.