Equations
Opaque reference to a Package
used for forward declaration.
Equations
Instances For
Opaque reference to a Workspace
used for forward declaration.
Equations
Instances For
instance
Lake.instNonemptyOpaqueTargetConfig
{Name✝ : Sort u_1}
{pkgName name : Name✝}
:
Nonempty (Lake.OpaqueTargetConfig pkgName name)
Equations
- ⋯ = ⋯
Opaque reference to a TargetConfig
used for forward declaration.
Equations
- Lake.OpaqueTargetConfig pkgName name = (Lake.OpaqueTargetConfig.nonemptyType pkgName name).type