def Maybe.is_some

Base · base.bend:840

840def Maybe.is_some(a, -A: Kind(a), m: Maybe<a, A>) -> Bool:
841  match m:
842    case None{}:
843      False{}
844    case Some{x}:
845      True{}