def String.trim_start.if

import Base

2245def String.trim_start.if(t: String, h: Char, space: Bool) -> String:
2246  match space:
2247    case False{}:
2248      SCon{h, t}
2249    case True{}:
2250      String.trim_start(t)

Uses (4)

Bool
String
Char
String.trim_start

Used by (1)

String.trim_start