Blanks

You'll get most of what you want by just importing this module unqualified. See the Blanks class definition and related methods to manipulate variables and abstractions. See Scope for the basic wrapper and LocScope for a wrapper with annotations you can use for source locations and the like. See the test suite for examples.

Documentation

module Blanks.Sub

module Blanks.Scope

module Blanks.Name

module Blanks.LocScope

module Blanks.Located

module Blanks.Interface