sig
  val big_int : Big_int.big_int Type.t
  val stmt : Cil_types.stmt Type.t
  val kinstr : Cil_types.kinstr Type.t
  val string_set : Cilutil.StringSet.t Type.t
  val stmt_set : Cilutil.StmtSet.t Type.t
  val localisation : Db_types.localisation Type.t
  val kernel_function : Db_types.kernel_function Type.t
  val varinfo : Cil_types.varinfo Type.t
  val lval : Cil_types.lval Type.t
  val cil_file : Cil_types.file Type.t
  val cabs_file : Cabs.file Type.t
  val lexing_pos_dummy : Lexing.position
  val varinfo_dummy : Cil_types.varinfo
end