string_hash.ml
smtml
smtml.prelude
smtml.smtzilla_utils
1 2 # 1 "src/smtml_prelude/string_hash_optimized.ml" external seeded_hash : int -> string -> int = "caml_string_hash" [@@noalloc]
1 2
# 1 "src/smtml_prelude/string_hash_optimized.ml" external seeded_hash : int -> string -> int = "caml_string_hash" [@@noalloc]