Module Goblint_lib.CilMaps

module VarinfoOrdered : sig ... end
module VarinfoMap : sig ... end