Module AbstractInterpreter.State

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