package fadbadml

  1. Overview
  2. Docs

Automatic Taylor Expansion

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

Re-define usual operators to compute values and taylor coefficients for elements of type T.t.

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

Extends TTypeName with comparison operators.