Module AbstractInterpreter.State

type 'a t = {
  1. pre : 'a;
  2. post : 'a;
  3. visit_count : VisitCount.t;
}