1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
signature REGION_INFO =
sig
(*
* An action associated with a region:
* This can be initialization, read, or update
*
* Mutability: is the region writable?
* This can be mutatble or immutable
*
* A strong update to the same exact location always override the
* previous action.
*)
datatype action = INIT | READ | UPDATE
type kind = {action:action, strong:bool, mutable:bool}
end
structure RegionInfo =
struct
datatype action = INIT | READ | UPDATE
type kind = {action:action, strong:bool, mutable:bool}
end
|
