rotl-256 ( x: uint64_t k: int -- out: uint64_t )


Vocabulary
random.xoshiro

Inputs
xan uint64_t
kan int


Outputs
outan uint64_t


Definition


: rotl-256 ( x: uint64_t k: int -- out: uint64_t )
[ shift ] [ 64 swap - neg shift ] 2bi bitor 64 bits ; inline