diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-07 16:44:25 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-07 16:44:25 +0000 |
| commit | e6a38aa97b9de05ae0eede568212667b68784a60 (patch) | |
| tree | 26cc01919d3502c9a66d734a616c9de8850b83b4 /stdlib.pl | |
| parent | 0f958749e189e4dacd7a1f70cfc33460e1228d3b (diff) | |
Add copy_term/2
Diffstat (limited to 'stdlib.pl')
0 files changed, 0 insertions, 0 deletions