LE (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Memory

val encode : 
  Wsize.wsize ->
  Ssralg.GRing.ComRing.sort ->
  Ssralg.GRing.ComRing.sort list

val decode : 
  Wsize.wsize ->
  Ssralg.GRing.ComRing.sort list ->
  Ssralg.GRing.ComRing.sort

val wread8 : 
  Wsize.wsize ->
  Ssralg.GRing.ComRing.sort ->
  BinNums.coq_Z ->
  Ssralg.GRing.Nmodule.sort