| 561 | |
| 562 | template <> |
| 563 | cs::string_borrower to_string<cs::pointer>(const cs::pointer &ptr) |
| 564 | { |
| 565 | if (ptr == cs::null_pointer) |
| 566 | return "null"; |
| 567 | else |
| 568 | return "cs::pointer => " + ptr.data.to_string().extract(); |
| 569 | } |
| 570 | |
| 571 | template <> |
| 572 | cs::string_borrower to_string<cs::type_id>(const cs::type_id &id) |