def rotl8
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
37def rotl8(+a: U32, +shift: Nat) -> U32:
38 U32.and(255, U32.or(U32.shln(a, shift), U32.shrn(a, (8n - shift : Nat))))
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
37def rotl8(+a: U32, +shift: Nat) -> U32:
38 U32.and(255, U32.or(U32.shln(a, shift), U32.shrn(a, (8n - shift : Nat))))