diff options
Diffstat (limited to 'docs/doxygen/other/pmt.dox')
| -rw-r--r-- | docs/doxygen/other/pmt.dox | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/docs/doxygen/other/pmt.dox b/docs/doxygen/other/pmt.dox index 6805b27a8a..932f6c0a83 100644 --- a/docs/doxygen/other/pmt.dox +++ b/docs/doxygen/other/pmt.dox @@ -1,3 +1,12 @@ +# Copyright (C) 2017 Free Software Foundation, Inc. +# +# Permission is granted to copy, distribute and/or modify this document +# under the terms of the GNU Free Documentation License, Version 1.3 +# or any later version published by the Free Software Foundation; +# with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +# A copy of the license is included in the section entitled "GNU +# Free Documentation License". + /*! \page page_pmt Polymorphic Types \section pmt_introduction Introduction @@ -74,7 +83,7 @@ std::string str = pmt::symbol_to_string(P_str); The pmt::intern is another way of saying pmt::string_to_symbol. -In Python, we can make use of the weak typing, and there's actually a +In Python, we can make use of the dynamic typing, and there's actually a helper function to do these conversions (C++ also has a helper function for converting to PMTs called pmt::mp(), but its less powerful, and not quite as useful, because types are always strictly |