Fmt.Fmt.center.go: def of bend-kit-fmt@0.1.0.0 Import: import bend-kit-fmt@0.1.0.0/fmt.bend as Fmt Lines 31-33 of bend-kit-fmt@0.1.0.0/fmt.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&start_line=31&end_line=33 import Base def Fmt.center.go(+pad: Nat, s: String, +c: Char) -> String: +l = {Nat.div(pad, 2n) : Nat} Fmt.fill(l, c) ++ s ++ Fmt.fill(Nat.sub(pad, l), c) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.div https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&name=Fmt.fill