Module C_states.LActions

type ac =
  1. | DropPerm
  2. | GetCurPerm
  3. | WeakValidPointer
  4. | Store
  5. | Load
type ga =
  1. | Single
  2. | Array
  3. | Hole
  4. | Zeros
  5. | Bounds
val str_ac : ac -> string
val ac_from_str : string -> ac
val str_ga : ga -> string
val ga_from_str : string -> ga