def St.le64

bendtorch-load@1.3.0.0 · main.bend:515

import Base

515# the header's length: the file's first 8 bytes, little-endian
516def St.le64(bs: List<&2, U32>) -> Maybe<&2, W64>:
517  match bs:
518    case Con{b0, Con{b1, Con{b2, Con{b3, Con{b4, Con{b5, Con{b6, Con{b7, t}}}}}}}}:
519      Some{W64{St.le32(b4, b5, b6, b7), St.le32(b0, b1, b2, b3)}}
520    case _:
521      None{}