Theory "stringDict"

Parents     string

Signature

Constant Type
sdhash :num -> string -> num

Definitions

sdhash_def 
|- (∀acc. sdhash acc "" = acc MOD 1009) ∧
   ∀acc c cs. sdhash acc (STRING c cs) = sdhash (acc + 3 * ORD c) cs