Someone
public text v1 · immutablefun drJeep(x,y) =
if size x < size y then
false
else
String.substring(x,size x - size y, size y) = yfun drJeep(x,y) =
if size x < size y then
false
else
String.substring(x,size x - size y, size y) = y