def one.gt
import emerging-ezhttp@0.21.0.0/src/html.bend as Htmlimport Base
23# one character that is not `&` or `<`
24def one.gt(+c: Char, rest: String, hit: Bool) -> String:
25 match hit:
26 case True{}:
27 ">" ++ rest
28 case False{}:
29 one.dq(c, rest, Char.is_eq(c, '"'))