package jasmin
Module Memory_model.LE
val encode : Wsize.wsize -> Word0.word -> Word0.word listval decode : Wsize.wsize -> Word0.word list -> Word0.wordMemory_model.LEval encode : Wsize.wsize -> Word0.word -> Word0.word listval decode : Wsize.wsize -> Word0.word list -> Word0.word