package lustre-v6

  1. Overview
  2. Docs

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.

type filtered_left = Lic.var_info * Lxm.t * filter list
and filter =
  1. | Slice of int * int * int * Lic.type_
  2. | Faccess of Lv6Id.t * Lic.type_
  3. | Aaccess of int * Lic.type_
val left_eff_to_filtered_left : Lic.left Lxm.srcflagged -> filtered_left
OCaml

Innovation. Community. Security.