smtlib.theories.experimental.Strings.Experimental
String PrefixOf. Arguments (s, t) where s and t are string terms. It returns true if the string s is a prefix of the string t.
String PrefixOf. Arguments (s, t) where s and t are string terms. It returns true if the string s is a prefix of the string t.