def ad.check.base

import bend-osdev-aead@0.1.0.0/check.bend as Check

import Base

60def ad.check.base(digit: Bool) -> U32:
61  match digit:
62    case True{}:
63      48
64    case False{}:
65      87

Uses (2)