def u32.field.is

mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:57

import mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend as Restore

import Base

57def u32.field.is(result: Maybe<&2, U32>, expected: U32) -> Bool:
58  match result:
59    case None{}: False{}
60    case Some{field}: U32.is_eq(field, expected)

Uses (4)

Used by (3)