def age_le

cswap-bend-cli@0.1.0.0 · pollrow.bend:110

import Base

110def age_le(age: Maybe<&2, U32>, +max: U32) -> Bool:
111  match age:
112    case None{}:
113      False{}
114    case Some{a}:
115      U32.is_le(a, max)