package cviode

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M : Owl_types_ndarray_algodiff.Sig with type elt = float

type f_t = M.arr -> M.arr -> float -> M.arr

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

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