Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Choice » CodeSeq

Module `Choice.CodeSeq`

val code : Datatypes.nat list -> Datatypes.nat

val decode_rec : 
  Datatypes.nat ->
  Datatypes.nat ->
  Datatypes.nat ->
  Datatypes.nat list

val decode : Datatypes.nat -> Datatypes.nat list