Json.w.close: def of bend-kit-json@0.7.0.0
Import: import bend-kit-json@0.7.0.0/json.bend as Json
Lines 1048-1053 of bend-kit-json@0.7.0.0/json.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-json@0.7.0.0/json.bend&start_line=1048&end_line=1053

import Base

def w.close(open: Bool, +a: U32, +z: U32, o: W) -> W:
  match open:
    case True{}:
      w.put(w.put(o, a), z)
    case False{}:
      w.put(o, z)

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=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=W
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=w.put