Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
13 lines (9 sloc) 231 Bytes
Require Import Arith.
Require Import Word32.
Require Import Memory.
Module W32S <: STORE.
Definition location := nat.
Definition value := w32.
Definition eq := eq_nat.
Definition location_eq_dec := eq_nat_dec.
End W32S.
Something went wrong with that request. Please try again.