def recover.con

bend-kit-journal@0.3.1.0 · journal.bend:108

import Base

108def recover.con(~a: Quant, ~P: Kind(a), ~S: Type, p: P, r: Recovery<a, P, S>) -> Recovery<a, P, S>:
109  Recovery{rs, t, s} = r
110  Recovery{Con{p, rs}, t, s}