module Memory:sig
..end
type 'a
sequence = {
|
pre : |
|
post : |
type
acs =
| |
RW |
(* |
Read-Write Access
| *) |
| |
RD |
(* |
Read-Only Access
| *) |
type 'a
value =
| |
Val of |
| |
Loc of |
type 'a
rloc =
| |
Rloc of |
|||
| |
Rarray of |
|||
| |
Rrange of |
(* |
a contiguous set of location
| *) |
type 'a
sloc =
| |
Sloc of |
|||
| |
Sarray of |
(* |
full sized-array range
| *) |
| |
Srange of |
|||
| |
Sdescr of |
(* |
a set of location
| *) |
type 'a
logic =
| |
Vexp of |
| |
Vloc of |
| |
Vset of |
| |
Lset of |
module type Chunk =sig
..end
module type Sigma =sig
..end
module type Model =sig
..end