def text.truncate

import ezsys@0.1.0.0/main.bend as Ezsys

import Base
import ezsys@0.1.0.0/src/str.bend as Str

122# the first `width` code points of the text (txt[:width])
123def text.truncate(txt: String, width: Nat) -> String:
124  Str.text.truncate(txt, width)

Uses (3)

Nat
String
ezsys@0.1.0.0/src/str:text.truncate

Used by (0)

No other definition uses this definition.