string.is_prefix_of

Tests whether the first string is a prefix of the second string

string.is_suffix_of

Tests whether the first string is a suffix of the second string

string.get_rest

get_rest s t returns some r if s = t ++ r. If t is not a prefix of s, returns none

string.popn

Removes the first n elements from the string s