def Terms.problem

bend-kit-migrate@0.3.0.0 · migrate.bend:96

import Base

96# The first business rule broken by a plan of len bytes and a price of c: an empty plan or a zero price.
97def Terms.problem(+len: U32, +c: U32) -> Maybe<&2, Key>:
98  Bool.pick(Maybe<&2, Key>, U32.is_eq(len, 0), Some{KPlan{}}, Bool.pick(Maybe<&2, Key>, U32.is_eq(c, 0), Some{KCents{}}, None{}))