~/jendhub

def own.put

ezx@1.11.0.0 · src/ws/doctor.bend:72

import ezx@1.11.0.0/src/ws/doctor.bend as Doctor
import Base
import ezx@1.11.0.0/src/lock/world.bend as LW

72# a file kept, when it is the member's own
73def own.put(hit: Bool, src: LW.Source, rest: List<&2, LW.Source>) -> List<&2, LW.Source>:
74  match hit:
75    case True{}:
76      src <> rest
77    case False{}:
78      rest

Uses (3)

Used by (1)