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