Module `Fadbad.Fadiff`

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

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