def Dec.pure

bend-kit-runner@0.13.0.1 · runner.bend:646

import Base

646def Dec.pure(-A: Type, x: A) -> Dec(A):
647  r => Some{(r, x)}