Module Absint__HilExp.Access
type 'array_index t=|FieldAccess of IR.Fieldname.t|ArrayAccess of IR.Typ.t * 'array_index|TakeAddress|Dereference
Absint__HilExp.Accesstype 'array_index t = | FieldAccess of IR.Fieldname.t |
| ArrayAccess of IR.Typ.t * 'array_index |
| TakeAddress |
| Dereference |