DSL for Build Key

Notation for specifying build keys in a package.

def Lake.DSL.facetSuffix : Lean.ParserDescr

Equations

• One or more equations did not get rendered due to their size.

def Lake.DSL.packageTargetLit : Lean.ParserDescr

Equations

• One or more equations did not get rendered due to their size.

def Lake.DSL.«term`+___» : Lean.ParserDescr

A module target key literal (with optional facet).

Equations

• One or more equations did not get rendered due to their size.

def Lake.DSL.«term`@___/____» : Lean.ParserDescr

A package target key literal (with optional facet).

Equations

• One or more equations did not get rendered due to their size.