Up
–
infer
»
Absint
»
AbstractInterpreter
» State
Module
AbstractInterpreter.State
type
'a t
=
{
pre :
'a
;
post :
'a
;
visit_count :
VisitCount.t
;
}