thisVersion.dhall

  λ(v : ../types/Version.dhall )
→ λ(VersionRange : Type)
→ λ(anyVersion : VersionRange)
→ λ(noVersion : VersionRange)
→ λ(thisVersion : ../types/Version.dhall  → VersionRange)
→ λ(notThisVersion : ../types/Version.dhall  → VersionRange)
→ λ(laterVersion : ../types/Version.dhall  → VersionRange)
→ λ(earlierVersion : ../types/Version.dhall  → VersionRange)
→ λ(orLaterVersion : ../types/Version.dhall  → VersionRange)
→ λ(orEarlierVersion : ../types/Version.dhall  → VersionRange)
→ λ(withinVersion : ../types/Version.dhall  → VersionRange)
→ λ(majorBoundVersion : ../types/Version.dhall  → VersionRange)
→ λ(unionVersionRanges : VersionRange → VersionRange → VersionRange)
→ λ(intersectVersionRanges : VersionRange → VersionRange → VersionRange)
→ λ(differenceVersionRanges : VersionRange → VersionRange → VersionRange)
→ λ(invertVersionRange : VersionRange → VersionRange)
→ thisVersion v