diff options
Diffstat (limited to 'docs/sphinx/source/pmt/misc.rst')
| -rw-r--r-- | docs/sphinx/source/pmt/misc.rst | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/docs/sphinx/source/pmt/misc.rst b/docs/sphinx/source/pmt/misc.rst deleted file mode 100644 index c671540fe2..0000000000 --- a/docs/sphinx/source/pmt/misc.rst +++ /dev/null @@ -1,22 +0,0 @@ -pmt: Misc -========= - -.. autofunction:: pmt.is_null -.. autofunction:: pmt.cvar - -pmt: Generic Casts -================== - -.. autofunction:: pmt.to_pmt -.. autofunction:: pmt.to_python -.. autofunction:: pmt.pmt_to_python.pmt_to_python - -pmt: Constants -============== - -.. autofunction:: pmt.PMT_EOF -.. autofunction:: pmt.PMT_EOF -.. autofunction:: pmt.PMT_F -.. autofunction:: pmt.PMT_NIL -.. autofunction:: pmt.PMT_T - |