JSONGPU.show_optional: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/usage/JSON_GPU.bend as JSONGPU
Lines 18-23 of qasim-bend-kit@0.1.0.2/usage/JSON_GPU.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/usage/JSON_GPU.bend&start_line=18&end_line=23

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as Json

def show_optional(batch: Maybe<&1, Json.BatchResult>) -> String:
    match batch:
        case None{}:
            "EMPTY"
        case Some{results}:
            show_batch(results)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=BatchResult
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/usage/JSON_GPU.bend&name=show_batch