Module `Fadbad.Tadiff`

Automatic Taylor Expansion

module TTypeName : functor (T : Fadbad__.Types.OpS) -> sig ... end: Re-define usual operators to compute values and taylor coefficients for elements of type T.t.

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