def headroom2

cswap-bend-cli@0.1.0.0 · swpick.bend:241

import Base

241def headroom2(+xs: List<&2, U32>) -> Maybe<&2, U32>:
242  match xs:
243    case Nil{}:
244      None{}
245    case Con{h, t}:
246      Some{(10000 - min_u32(10000, max_pct(Con{h, t}, 0)) : U32)}