def tie

emerging-ezjson@1.3.0.0 · src/fixed.bend:195

import Base

195# a first dropped digit of 5 with no other nonzero digit dropped is a tie,
196# which goes to the even neighbour
197def tie(sticky: Bool, kept: String) -> Bool:
198  match sticky:
199    case True{}:
200      True{}
201    case False{}:
202      odd(kept)