package cviode

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Cviode.Make`Source

module M : Owl_types_ndarray_algodiff.Sig with type elt = float

Sourcetype f_t = (M.arr * M.arr) -> float -> M.arr

val contact1_damped_s : 
  a:(float -> float) ->
  f_t ->
  dt:float ->
  (M.arr * M.arr) ->
  float ->
  (M.arr * M.arr) * float

val contact2_damped_s : 
  a:(float -> float) ->
  f_t ->
  dt:float ->
  (M.arr * M.arr) ->
  float ->
  (M.arr * M.arr) * float