Module Retype


module Retype: sig .. end

class collectIntField : Cil_types.typ Cilutil.FieldinfoHashtbl.t -> object .. end
class retypeIntField : Cil_types.typ Cilutil.FieldinfoHashtbl.t -> object .. end
val retype_int_field : Cil_types.file -> unit
module UnionFind: 
functor (Elem : sig
type t 
val equal : t -> t -> bool
val prefer : t -> t -> int
end) ->
functor (ElemSet : Set.S with type elt = Elem.t) ->
functor (ElemTable : Hashtbl.S with type key = Elem.t) -> sig .. end
module FieldElem: sig .. end
module FieldUnion: UnionFind(FieldElem)(Cilutil.FieldinfoSet)(Cilutil.FieldinfoHashtbl)
val add_field_representant : Cilutil.FieldinfoHashtbl.key -> Cilutil.FieldinfoHashtbl.key -> unit
module TypeElem: sig .. end
module TypeUnion: UnionFind(TypeElem)(Cilutil.TypeSet)(Cilutil.TypeHashtbl)
val type_to_parent_type : Cilutil.TypeComparable.t Cilutil.TypeHashtbl.t
val add_inheritance_relation : Cilutil.TypeComparable.t -> Cilutil.TypeComparable.t -> unit
val subtype : Cilutil.TypeComparable.t -> Cilutil.TypeComparable.t -> bool
val sub_list : 'a list -> int -> 'a list
class createStructHierarchy : object .. end
class exploitStructHierarchy : object .. end
val create_struct_hierarchy : Cil_types.file -> unit
val retype : Cil_types.file -> unit