def Octets.zeros

bend-osdev-bytes@0.1.1.0 · bytes.bend:572

import Base

572def Octets.zeros(n: Nat) -> Octets:
573  Octets{w8s.zeros.fast(n)}