~/jendhub

def server.bundles.cons

bend-kit-camber@0.15.0.1 · camber.bend:1002

import bend-kit-camber@0.15.0.1/camber.bend as Camber
import Base

1002def server.bundles.cons(~S: Type, resource: S, counted: List<S> & Nat) -> List<S> & Nat:
1003  (returned, count) = counted
1004  (resource <> returned, 1n+count)

Uses (4)

Used by (1)