jasmin.jasmin
Varmap.Vm
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
type t
val init : Sem_type.coq_WithSubWord -> t
val get : Sem_type.coq_WithSubWord -> t -> Var0.Var.var -> Values.value
val set : Sem_type.coq_WithSubWord -> t -> Var0.Var.var -> Values.value -> t