Dns.Step: type of bend-kit-dns@0.7.0.0
Import: import bend-kit-dns@0.7.0.0/dns.bend as Dns
Lines 99-102 of bend-kit-dns@0.7.0.0/dns.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-dns@0.7.0.0/dns.bend&start_line=99&end_line=102

import Base

# One step through a name: continue at the next label or stop after the name.
type Step is Data:
  Go{}
  Stop{ok: Bool}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool