def Time.date

bend-kube-runtime@0.2.0.0 · src/time.bend:62

import Base

62def Time.date(c: Civil) -> String:
63  match c:
64    case Civil{y, m, d}:
65      Time.pad(y, 4n) ++ "-" ++ Time.pad(m, 2n) ++ "-" ++ Time.pad(d, 2n)