package cviode

  1. Overview
  2. Docs
module Contact1_damped (A : sig ... end) : Owl_ode.Types.Solver with type state = mat * mat and type f = (mat * mat) -> float -> mat and type step_output = (mat * mat) * float and type solve_output = mat * mat * mat
module Contact2_damped (A : sig ... end) : Owl_ode.Types.Solver with type state = mat * mat and type f = (mat * mat) -> float -> mat and type step_output = (mat * mat) * float and type solve_output = mat * mat * mat