Documentation

Lake.Config.Opaque

Opaque reference to a Package used for forward declaration.

Equations
Instances For

    Opaque reference to a Workspace used for forward declaration.

    Equations
    Instances For
      opaque Lake.OpaqueTargetConfig.nonemptyType {Name : Sort u_1} (pkgName name : Name) :
      instance Lake.instNonemptyOpaqueTargetConfig {Name✝ : Sort u_1} {pkgName name : Name✝} :
      Equations
      • =
      def Lake.OpaqueTargetConfig {Name : Sort u_1} (pkgName name : Name) :

      Opaque reference to a TargetConfig used for forward declaration.

      Equations
      Instances For