Encode.row.fits: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/encode.bend as Encode
Lines 169-176 of bend-toon-codec@0.1.0.0/src/encode.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&start_line=169&end_line=176

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

# One element fits the header's keys: an object of primitives with exactly
# those keys.
def row.fits(+ks: List<&2, String>, +e: J.Json) -> Bool:
  match e:
    case J.JObj{fs}:
      fields.prim(fs) && U32.is_eq(fields.len(fs), list.len(ks)) && has_all(ks, fs)
    case _:
      False{}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=fields.len
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=fields.prim
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=has_all
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=list.len
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/json.bend&name=Json