package fadbadml

You can search for identifiers within the package.

in-package search v0.2.0

package fadbadml

fadbadml
- CHANGES
- README
- Library fadbadml
  - Fadbad
    
    OpS
    
    OrderedOpS
    
    OpFloat
    
    OrderedFloat
    
    F
    
    OrderedF
    
    B
    
    OrderedB
    
    T
    
    Fadiff
    
    FTypeName
    
    OrderedFTypeName
    
    Badiff
    
    BTypeName
    
    OrderedBTypeName
    
    Tadiff
    
    TTypeName
    
    OrderedTTypeName
- Sources
  - fadbadml
    
    badiff.ml
    
    fadbad.ml
    
    fadbad__.ml
    
    fadbad_utils.ml
    
    fadiff.ml
    
    op.ml
    
    tadiff.ml
    
    types.ml

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

Module `Fadbad.Fadiff`Source

Sourcemodule FTypeName (T : sig ... end) : sig ... end

Re-define usual operators to compute values and derivatives for elements of type T.t in forward mode.

Sourcemodule OrderedFTypeName (T : sig ... end) : sig ... end

Extends FTypeName with comparison operators.