TerminationPreprocessing (p.goblint.2.6.0.doc.goblint.lib.Goblint

module VarToStmt : sig ... end

val counter_ikind : GoblintCil.ikind

val counter_typ : GoblintCil.typ

val min_int_exp : GoblintCil.exp

class loopCounterVisitor : GoblintCil.stmt VarToStmt.t ref -> GoblintCil.fundec -> object ... end