Qs.Utf: type of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs Lines 113-118 of emerging-ezhttp@0.21.0.0/src/qs.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&start_line=113&end_line=118 import Base # where the UTF-8 decoding stands: between characters, or inside a sequence # with code point bits `cp` so far, needing a byte in lo..hi and `left` more # continuation bytes after it type Utf is Data: Idle{} Need{cp: U32, left: Nat, lo: U32, hi: U32} Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32