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

let LicenseId = ../types/SPDX/LicenseId.dhall

let LicenseExceptionId = ../types/SPDX/LicenseExceptionId.dhall

in    λ(a : ../types/SPDX.dhall)
    → λ(b : ../types/SPDX.dhall)
    → λ(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)
    → and
      (a SPDX license licenseVersionOrLater ref refWithFile and or)
      (b SPDX license licenseVersionOrLater ref refWithFile and or)