Module VarUsage.Model

module Model: sig .. end

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 value
val field : value -> value
val shift : int list -> value -> value
val load : value -> value