Module Norm


module Norm: sig .. end

class retypeArrayVariables : object .. end
val retype_array_variables : Cil_types.file -> unit
class retypeLogicFunctions : object .. end
val retype_logic_functions : Cil_types.file -> unit
val return_vars : unit Cilutil.VarinfoHashtbl.t
class expandStructAssign : unit -> object .. end
val expand_struct_assign : Cil_types.file -> unit
class retypeStructVariables : object .. end
val retype_struct_variables : Cil_types.file -> unit
class retypeAddressTaken : object .. end
val retype_address_taken : Cil_types.file -> unit
class retypeFields : object .. end
val retype_fields : Cil_types.file -> unit
class retypeTypeTags : object .. end
val retype_type_tags : Cil_types.file -> unit
val debugtab : ('_a, '_b) Hashtbl.t
class retypeBasePointer : object .. end
val retype_base_pointer : Cil_types.file -> unit
class removeUselessCasts : object .. end
val remove_useless_casts : Cil_types.file -> unit
val generated_union_types : unit Cilutil.TypeHashtbl.t
class translateUnions : object .. end
val translate_unions : Cil_types.file -> unit
class removeArrayAddress : object .. end
val remove_array_address : Cil_types.file -> unit
val normalize : Cil_types.file -> unit