def text.or
import ezx@1.11.0.0/src/tool/world.bend as Worldimport Base
172# a Maybe's text, "" for none
173def text.or(got: Maybe<&2, String>) -> String:
174 match got:
175 case None{}:
176 ""
177 case Some{t}:
178 t
import ezx@1.11.0.0/src/tool/world.bend as Worldimport Base
172# a Maybe's text, "" for none
173def text.or(got: Maybe<&2, String>) -> String:
174 match got:
175 case None{}:
176 ""
177 case Some{t}:
178 t