def Maybe.show

import Base

2419def Maybe.show(~a: Quant, ~A: Kind(a), ~f: A -> String, m: Maybe<a, A>) ->
2420  String:
2421  match m:
2422    case None{}:
2423      "None"
2424    case Some{x}:
2425      "Some(" ++ f(x) ++ ")"

Uses (3)

String
Maybe
String.append

Used by (0)

No other definition uses this definition.