isprefixof package:text

O(n) The isPrefixOf function takes two Texts and returns True if and only if the first is a prefix of the second.
O(n) The isPrefixOf function takes two Streams and returns True if and only if the first is a prefix of the second. Properties
isPrefixOf (stream t1) (stream t2) = isPrefixOf t1 t2