Pin.ref.pinned: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/pin.bend as Pin
Lines 25-30 of ezx@1.11.0.0/src/ws/pin.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/pin.bend&start_line=25&end_line=30

import Base

# a ref given against the pin the workspace records for the source
def ref.pinned(+url: String, +rev: String, +tag: String, +ref: String) -> Ref:
  Bool.pick(Ref, String.is_empty(ref), Given{held(rev, tag)},
    Bool.pick(Ref, Bool.or(String.eq(ref, tag), String.eq(ref, rev)), Given{ref},
      Held{"ez: the workspace pins " ++ url ++ " at " ++ held(rev, tag) ++
        "; move it for every member with ez lock --upgrade --package"}))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/pin.bend&name=Ref
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/pin.bend&name=held