dhall-to-cabal-1.3.2.0: dhall/types/SPDX.dhall

let LicenseExceptionId : Type = ./SPDX/LicenseExceptionId.dhall

let LicenseId : Type = ./SPDX/LicenseId.dhall

in    ∀(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)
    → SPDX