def gf8_xtime.high

qasim-bend-kit@0.1.0.2 · libs/AES256GCMCore.bend:10

import Base

10def gf8_xtime.high(+a: U32, high: Bool) -> U32:
11    xor_if(U32.and(255, U32.shln(a, 1n)), 27, high)