hex.read_hex (arity 3)¶
like: dst[:n] = *ptr[:n]
dst is a hex[:n]. ptr is a hex[:w/4] that holds an address, which we assume is dw-aligned.
Signature¶
def read_hex n, dst, ptr { ... }
Defined in hex/pointers/read_pointers.fj — lines 44–47 (view on GitHub).
Complexity¶
Time:
n(w(0.75@+ 5) + 16@+27)Space:
n(w(1.13@+32) + 12@+103)
See the complexity glossary for what @, w, dw, dbit, n mean.