def healed.cons

cswap-bend-cli@0.1.0.0 · collectrun.bend:105

import Base
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore

105def healed.cons(h: Bool, +id: Ustore.Id, rest: List<&2, Ustore.Id>) -> List<&2, Ustore.Id>:
106  match h:
107    case True{}:
108      id <> rest
109    case False{}:
110      rest