def unique.answer
import bend-kit-json@0.7.0.0/json.bend as Jsonimport 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{}
import bend-kit-json@0.7.0.0/json.bend as Jsonimport 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{}