Replayed.snoc: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/contracts/replayed.bend as Replayed
Lines 22-23 of bendtorch-core@0.1.0.0/src/tensor/contracts/replayed.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/contracts/replayed.bend&start_line=22&end_line=23

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

def snoc(+ops: List<&2, StorageLaws.Op>, +op: StorageLaws.Op) -> List<&2, StorageLaws.Op>:
  List.append(&2, StorageLaws.Op, ops, [op])

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=List.append
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/LAWS.bend&name=Op