def own

bolt@1.27.0.0 · src/rules/pedantic/fuel.bend:159

import bolt@1.27.0.0/src/rules/pedantic/fuel.bend as Fuel
import Base

159# a def's (or a law's) name, "" when it has none
160def own(mm: Maybe<&2, String>) -> String:
161  match mm:
162    case None{}:
163      ""
164    case Some{n}:
165      n

Uses (2)

Used by (1)