def rejected

bendvy-ecs-core@0.1.0.4 · owned_family.bend:77

import Base
import restored_row.bend as R
import world.bend as W

77def rejected(~S:Data,~H:Type,~Rest:Type,~MetaRest:Type,~C:Type,~put:Rest -> R.Cell<S,C> -> H,~put_header:MetaRest -> Header<S> -> Rest,rest:MetaRest,cell:R.Cell<S,C>,incoming:C,+reason:W.WorldError,header:Header<S>) -> WriteResult<H,C>:
78  Rejected{put(put_header(rest,reject_header(S,reason,header)),cell),incoming,reason}