Module Goblint_lib.TerminationPreprocessing

module VarToStmt : sig ... end
val counter_ikind : GoblintCil.ikind
val counter_typ : GoblintCil.typ
val min_int_exp : GoblintCil.exp