def none

ezx@1.11.0.0 · src/tool/plan.bend:55

import Base

55# whether a Maybe holds nothing
56def none(got: Maybe<&2, String>) -> Bool:
57  match got:
58    case None{}:
59      True{}
60    case Some{_t}:
61      False{}