Module `Cviode.D`

type mat = Owl_dense_matrix_d.mat

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

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