Git.release.ver: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/git/git.bend as Git
Lines 700-706 of ezx@1.11.0.0/src/git/git.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/git/git.bend&start_line=700&end_line=706

import Base

# a version with no pre-release, which is a release
def release.ver(version: Ver) -> Bool:
  match version:
    case No{}:
      False{}
    case Yes{_ns, ps}:
      List.is_empty(&2, Id, ps)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=Id
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=Ver