def field_cons

bend-collections-laws-crypto@1.0.0.0 · src/crypto/argon2/phc.bend:297

import Base

297def field_cons(+x: U32, r: Maybe<&2, Cut>) -> Maybe<&2, Cut>:
298  match r:
299    case None{}:
300      None{}
301    case Some{Cut{a, b}}:
302      Some{Cut{SCon{Chr{x}, a}, b}}