~/jendhub

def contains

stelliferous@0.0.2.0 · tensor_file.bend:191

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile
import Base

191def contains(text: List<&2,U32>,+pattern: List<&2,U32>) -> Bool:
192  match text:
193    case Nil{}: False{}
194    case Con{+byte,+rest}: starts(pattern,byte <> rest) || contains(rest,pattern)

Uses (5)

Used by (1)