def num.eq

bend-toon-codec@0.1.0.0 · src/json.bend:62

import bend-toon-codec@0.1.0.0/src/json.bend as Json
import Base

62def num.eq(+a: Maybe<&2, String>, +b: Maybe<&2, String>) -> Bool:
63  match a b:
64    case Some{x} Some{y}:
65      String.eq(x, y)
66    case None{} None{}:
67      True{}
68    case _ _:
69      False{}

Uses (4)

Used by (1)