def empty_obj

bend-toon-codec@0.1.0.0 · src/expand.bend:73

import bend-toon-codec@0.1.0.0/src/expand.bend as Expand
import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J

73def empty_obj(+j: J.Json) -> Bool:
74  match j:
75    case J.JObj{J.JNil{}}:
76      True{}
77    case _:
78      False{}

Uses (2)

Used by (2)