Module `HilExp.Access`

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

val compare : ('array_index -> 'array_index -> int) -> 'array_index t -> 'array_index t -> int

val pp : (Stdlib.Format.formatter -> 'array_index -> unit) -> Stdlib.Format.formatter -> 'array_index t -> unit
val is_field_or_array_access : 'a t -> bool