Gate.want.put: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/gate.bend as Gate
Lines 9-15 of ezx@1.11.0.0/src/ez/gate.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/gate.bend&start_line=9&end_line=15

import Base

# a trailer line kept, with its `#|` dropped, or a source line ignored
def want.put(is_want: Bool, line: String, rest: List<&2, String>) -> List<&2, String>:
  match is_want:
    case True{}:
      String.drop(line, 2n) <> rest
    case False{}:
      rest

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=String.drop