def unique.answer

bend-kit-json@0.7.0.0 · json.bend:857

import bend-kit-json@0.7.0.0/json.bend as Json
import Base

857def unique.answer(r: Val & Bool) -> Maybe<&1, Val>:
858  (v, ok) = r
859  match ok:
860    case True{}:
861      Some{v}
862    case False{}:
863      None{}

Uses (5)

Used by (1)