Api.hit_of: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/storage/api.bend as Api
Lines 404-419 of bendtorch-core@0.1.0.0/src/storage/api.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/storage/api.bend&start_line=404&end_line=419

import Base
import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as Laws

def hit_of(+n: Nat, +ops: List<&2, Laws.Op>) -> Bool:
  match ops:
    case Nil{}:
      True{}
    case +op <> +later:
      match op:
        case Laws.Write{+i, w}:
          Nat.is_lt(U32.to_nat(i), n)
        case Laws.Read{+i}:
          Nat.is_lt(U32.to_nat(i), n)
        case Laws.First{}:
          True{}
        case Laws.Second{}:
          True{}
        case Laws.Length{}:
          True{}

Uses (6):
  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=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/LAWS.bend&name=Op