let pretty_with_type typ fmt { deps_return = r; deps_table = t } =
let (rt_typ,_,_,_) = Cil.splitFunctionType typ in
if Cil.isVoidType rt_typ then
Format.fprintf fmt "@[<v>@[@;<2 0>@[%a@]@]@]@\n"
Lmap_bitwise.From_Model.pretty t
else if Lmap_bitwise.From_Model.LOffset.is_empty r then
Format.fprintf fmt "@[<v>@[@;<2 0>@[%a@]\\result FROM \\nothing@]@]@\n"
Lmap_bitwise.From_Model.pretty t
else
Format.fprintf fmt "@[<v>@[@;<2 0>@[%a@]\\result%a@]@]@\n"
Lmap_bitwise.From_Model.pretty t
(Lmap_bitwise.From_Model.LOffset.pretty_with_type (Some rt_typ)) r