~/jendhub

def dec.drop.lead

emerging-eztoml@0.9.0.0 · main.bend:395

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

395# whether a leading zero is still being skipped
396def dec.drop.lead(lead: Bool, +hh: Char) -> Bool:
397  match lead:
398    case False{}:
399      False{}
400    case True{}:
401      Char.is_eq(hh, '0')

Uses (3)

Used by (1)