Module `Fadbad.Badiff`

Backward Automatic Differentiation (BAD)

module BTypeName : functor (T : Fadbad__.Types.OpS) -> sig ... end: Re-define usual operators to compute values and derivatives for elements of type T.t in backward mode.

module OrderedBTypeName : functor (T : Fadbad__.Types.OrderedOpS) -> sig ... end: Extends BTypeName with comparison operators.