Module Memory_model.LE

val encode : Wsize.wsize -> Word0.word -> Word0.word list
val decode : Wsize.wsize -> Word0.word list -> Word0.word