Memory_model.LEval encode :
Wsize.wsize ->
Ssralg.GRing.ComRing.sort ->
Ssralg.GRing.ComRing.sort listval decode :
Wsize.wsize ->
Ssralg.GRing.ComRing.sort list ->
Ssralg.GRing.ComRing.sortval wread8 :
Wsize.wsize ->
Ssralg.GRing.ComRing.sort ->
BinNums.coq_Z ->
Ssralg.GRing.Nmodule.sort