package bap-core-theory

  1. Overview
  2. Docs

Core Theory Transformations.

A transformation pass is a simple functor. This module provides a collection of such functors and will be later extended with the transformation pipeline framework.

  • since 2.4.0
module Desugar (CT : Core) : Core

The Variable Desugarer.