def name.of

bolt@1.27.0.0 · src/rules/laws/closed.bend:26

import Base

26# a law's name, `?` when it has none
27def name.of(mm: Maybe<&2, String>) -> String:
28  match mm:
29    case None{}:
30      "?"
31    case Some{n}:
32      n