def dashes

mylsm-lsm-store@0.3.2.0 · src/Wal.bend:22

import Base

22def dashes(num: Nat) -> String:
23  match num:
24    case 0n:
25      ""
26    case 1n+m:
27      SCon{'-', dashes(m)}