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