def known_count

stelliferous@0.0.2.0 · tensor.bend:60

import Base

60def known_count(count: Maybe<&2,U32>) -> U32:
61  match count:
62    case Some{count}: count
63    case None{}: 0