Module Lv6MiscSource

left_eff is a kind of list, but which is in the « reverse » order for easy checking; filtered_left contains just the same information, but the list is made explicit and the information (struct or array accesses) is ordered in the « good » way.

Sourcetype filtered_left = Lic.var_info * Lxm.t * filter list
Sourceand filter =
  1. | Slice of int * int * int * Lic.type_
  2. | Faccess of Lv6Id.t * Lic.type_
  3. | Aaccess of int * Lic.type_
Sourceval left_eff_to_filtered_left : Lic.left Lxm.srcflagged -> filtered_left