Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package owl-ode
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Symplectic.S
module Types = Owl_ode_base.Typestype mat = Owl_dense_matrix_s.matmodule Symplectic_Euler : sig ... endmodule PseudoLeapfrog : sig ... endmodule Leapfrog : sig ... endmodule Ruth3 : sig ... endmodule Ruth4 : sig ... endval symplectic_euler :
(module Types.Solver
with type f = (mat * mat) -> float -> mat
and type solve_output = mat * mat * mat
and type state = mat * mat
and type step_output = (mat * mat) * float)val leapfrog :
(module Types.Solver
with type f = (mat * mat) -> float -> mat
and type solve_output = mat * mat * mat
and type state = mat * mat
and type step_output = (mat * mat) * float)val pseudoleapfrog :
(module Types.Solver
with type f = (mat * mat) -> float -> mat
and type solve_output = mat * mat * mat
and type state = mat * mat
and type step_output = (mat * mat) * float)val ruth3 :
(module Types.Solver
with type f = (mat * mat) -> float -> mat
and type solve_output = mat * mat * mat
and type state = mat * mat
and type step_output = (mat * mat) * float)val ruth4 :
(module Types.Solver
with type f = (mat * mat) -> float -> mat
and type solve_output = mat * mat * mat
and type state = mat * mat
and type step_output = (mat * mat) * float)