Ignore.others.put: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/ignore.bend as Ignore
Lines 151-165 of ezx@1.11.0.0/src/ledger/ignore.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&start_line=151&end_line=165

import Base

# a line that is not ez's, in front of the rest
def others.put(what: Rule, +line: String, rest: List<&2, String>) -> List<&2, String>:
  match what:
    case Other{}:
      line <> rest
    case Allow{_h}:
      rest
    case Dir{}:
      rest
    case Star{}:
      rest
    case Lib{}:
      rest
    case Pkgs{}:
      rest

Uses (3):
  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=ezx@1.11.0.0/src/ledger/ignore.bend&name=Rule