Documentation

Std.Data.String

If pre is a prefix of s, i.e. s = pre ++ t, return the remainder t.

Equations

Auxiliary definition for dropPrefix?.

Equations
  • One or more equations did not get rendered due to their size.

If pre is a prefix of s, i.e. s = pre ++ t, return the remainder t.

Equations