Documentation

Lean.Compiler.LCNF.PublicDeclsExt

Creates a replayable local environment extension holding a name set and the list of names in the order they were added to the set.

Instances For
    Instances For