Documentation

Lake.Build.Library

Library Facet Builds #

Build function definitions for a library's builtin facets.

Build Lean & Static Lib #

Build Shared Lib #

Other #

A name-configuration map for the initial set of Lean library facets (e.g., lean, static, shared).

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    @[reducible, inline]

    A name-configuration map for the initial set of Lean library facets (e.g., lean, static, shared).

    Equations
    Instances For