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