include module type of struct include VarType end
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val duplic_var_prefix : string
val duplic_var_postfix : string
val get_type : t -> GoblintCil.typ
val is_assign_aux : t -> bool
val is_return_aux : t -> bool
val name_varinfo : t -> string
val typ : t -> GoblintCil.typ
val describe_varinfo : GoblintCil.varinfo -> t -> string
val dummy_varinfo : GoblintCil.typ -> GoblintCil.varinfo
val return_varinfo : GoblintCil.typ -> GoblintCil.varinfo