def strip_dot.if

bend-kit-dns@0.7.0.0 · dns.bend:82

import Base

82def strip_dot.if(+s: String, dot: Bool) -> String:
83  match dot:
84    case True{}:
85      String.reverse(String.drop(String.reverse(s), 1n))
86    case False{}:
87      s