diff options
Diffstat (limited to 'pmt/src/lib/pmt.cc')
| -rw-r--r-- | pmt/src/lib/pmt.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pmt/src/lib/pmt.cc b/pmt/src/lib/pmt.cc index a141224b3..537b7a05a 100644 --- a/pmt/src/lib/pmt.cc +++ b/pmt/src/lib/pmt.cc @@ -963,6 +963,12 @@ pmt_list6(pmt_t x1, pmt_t x2, pmt_t x3, pmt_t x4, pmt_t x5, pmt_t x6) } pmt_t +pmt_list_add(pmt_t list, pmt_t item) +{ + return pmt_reverse(pmt_cons(item, pmt_reverse(list))); +} + +pmt_t pmt_caar(pmt_t pair) { return (pmt_car(pmt_car(pair))); |