package fadbadml

  1. Overview
  2. Docs

Backward Automatic Differentiation (BAD)

module BTypeName (T : sig ... end) : sig ... end

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

module OrderedBTypeName (T : sig ... end) : sig ... end

Extends BTypeName with comparison operators.