sig
type value =
BASE
| VALUE
| REFERENCE
| INDEX of int list
| ARRAY of int list
| REF_INDEX of int list
| REF_ARRAY of int list
| TERM of VarUsage.Model.value
val field : VarUsage.Model.value -> VarUsage.Model.value
val shift : int list -> VarUsage.Model.value -> VarUsage.Model.value
val load : VarUsage.Model.value -> VarUsage.Model.value
end