def none

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

import Base

100def none(m: Maybe<&2, Key>) -> Bool:
101  match m:
102    case None{}:
103      True{}
104    case Some{k}:
105      False{}