package cviode

You can search for identifiers within the package.

in-package search v0.2.0

cviode
- Cviode
  - D
  - Make
  - S

Legend:
Library
Module
Module type
Parameter
Class
Class type

type mat = Owl_dense_matrix_s.mat

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