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 |
type 'a
sloc =
| |
Sloc of |
|||
| |
Sarray of |
(* | full sized-array range | *) |
| |
Srange of |
|||
| |
Sdescr of |
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