def starts

stelliferous@0.0.2.0 · tensor_file.bend:179

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

179def starts(pattern: List<&2,U32>,bytes: List<&2,U32>) -> Bool:
180  match pattern bytes:
181    case Nil{} bytes: True{}
182    case Con{first,rest} Nil{}: False{}
183    case Con{first,rest} Con{byte,more}: U32.is_eq(first,byte) && starts(rest,more)

Uses (5)

Used by (3)