TransitionInvariant.ExtVar
type t =
| AnyPrev of CilType.Varinfo.t
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
val name_varinfo : t -> string
val typ : t -> GoblintCil.typ
val describe_varinfo : 'a -> t -> string