@[inline]

def Lake.crlf2lf (text : String) : String

This is the same as String.replace text "\r\n" "\n", but more efficient.

Equations

• Lake.crlf2lf text = Lake.crlf2lf.go text "" 0 0

partial def Lake.crlf2lf.go (text : String) (acc : String) (accStop : String.Pos) (pos : String.Pos) : String