Module semantic_transform 

Whole-program automatic differentiation over semantic SSA programs.

Structs

SemanticAdProgram

One frozen derivative program plus ordered derivative input/output maps.

Enums

SemanticAdTransformError

Failures produced by whole-program semantic AD.

SemanticTransformRole

Semantic AD transform role used by typed diagnostics.

Functions

semantic_jvp

Build a forward-mode derivative program.

semantic_vjp

Build a reverse-mode derivative program using extension semantic rules.