def optional_text

qasim-bend-kit@0.1.0.2 · proof/AES_IdentityProof.bend:65

import Base

65def optional_text(value: Maybe<&2, String>) -> String:
66    match value:
67        case None{}: ""
68        case Some{text}: text