dhall-to-cabal-1.2.0.0: dhall/SPDX/refWithFile.dhall

   let LicenseId = ../types/SPDX/LicenseId.dhall
in let LicenseExceptionId = ../types/SPDX/LicenseExceptionId.dhall
in   λ(refName : Text)
   → λ(file : Text)
   → λ(licenseExceptionIdOpt : Optional LicenseExceptionId )
   → λ(SPDX : Type)
   → λ(license : LicenseId → Optional LicenseExceptionId → SPDX)
   → λ(licenseVersionOrLater : LicenseId → Optional LicenseExceptionId → SPDX)
   → λ(ref : Text → Optional LicenseExceptionId → SPDX)
   → λ(refWithFile : Text → Text → Optional LicenseExceptionId → SPDX)
   → λ(and : SPDX → SPDX → SPDX)
   → λ(or : SPDX → SPDX → SPDX)
   → refWithFile refName file licenseExceptionIdOpt