schema_version = 1
id = "string_matching.substring_contains"
archetype = "rule-bytes-to-bool"
display_name = "Substring Contains"
summary = "Returns true when a byte needle appears in a byte haystack."
category = "C"
[intrinsic]
wgsl = "string_matching_substring_contains"
[signature]
inputs = ["Bytes", "Bytes"]
output = "Bool"
laws = []
equivalence_classes = ["empty_needle", "present", "absent", "needle_longer_than_haystack"]
workgroup_size = [256, 1, 1]
tags = ["string-matching", "substring", "t47"]
fixtures_dir = "fixtures/"