~/jendhub

def oc.masked

bend-osdev-cbc@0.1.0.0 · PROOF.bend:31

import bend-osdev-cbc@0.1.0.0/PROOF.bend as PROOF
import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-mode-core@0.1.0.0/LAWS.bend as CoreL

31def oc.masked(+o: B.Octets) -> {B.mask(B.Octets.to_list(o)) == B.Octets.to_list(o) : List<&2, U32>}:
32  CoreL.octets_masked(o)

Uses (6)

Used by (1)