Module Function_Froms


module Function_Froms: sig .. end
Undocumented. Do not use this module if you don't know what you are doing.


type tt = {
   deps_return : Lmap_bitwise.From_Model.LOffset.t;
   deps_table : Lmap_bitwise.From_Model.t;
}
val join : tt -> tt -> tt
val pretty : Format.formatter -> tt -> unit
val pretty_with_type : Cil_types.typ -> Format.formatter -> tt -> unit
same as pretty, but uses the type of the function to output more precise informations.
Raises Error if the given type is not a function type
val hash : tt -> int
val equal : tt -> tt -> bool
include struct ... end