def folded.breaks

yaml-for-bend@0.1.1.0 · scan.bend:717

import Base

717# Folded line breaks: one break is a space, more are newlines (less one).
718def folded.breaks(+brks: Nat) -> String:
719  Bool.pick(String, Nat.is_eq(brks, 0n), " ", String.repeat("\n", brks))