def negated_result

import bend-collections@1.0.0.0/src/containers/internal/intrusive_list.bend as IntrusiveList

import Base

231def negated_result(~S: Type, r: S & Bool) -> S & Bool:
232  (s, b) = r
233  (s, Bool.not(b))

Uses (4)