Types (Primitive Types, References to Objects, arrays)

[Inaam-Ahmed]

HARPO Types are converted into Boogie Types according to following Map:
Int8 -> int
Int16 -> int
Int32 -> int
Int64 -> int
Real16 -> real
Real32 -> real
Real64 -> real
bool -> bool
CName -> Ref where CName is a reference to an instance of a class
Perm (Real(*)) -> Perm (real) (We are not using Perm types so far in HARPO, we are using Real types in HARPO to represent the permissions)
[T[N]] -> ArrayRef Tr[T]

Initialization Expressions for Heap left in another Issue.