let pretty fmt { deps_return = r ; deps_table = t } = Format.fprintf fmt "%a@\n\\result %a@\n" Lmap_bitwise.From_Model.pretty t Lmap_bitwise.From_Model.LOffset.pretty r