From 30a3b3d25f8d3180379b48803f03a3fadd51405f Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Thu, 14 Jul 2022 11:27:06 +0900 Subject: huffman-encode: Remove huffman-leafp function. --- huffman-encode.lisp | 5 ----- 1 file changed, 5 deletions(-) (limited to 'huffman-encode.lisp') diff --git a/huffman-encode.lisp b/huffman-encode.lisp index bd5d4d4..ff9fc20 100644 --- a/huffman-encode.lisp +++ b/huffman-encode.lisp @@ -35,11 +35,6 @@ (declare (xargs :guard (rationalp w))) (list 'leaf s w)) -(defun huffman-leafp (x) - (declare (xargs :guard t)) - (and (huffman-treep x) - (not (nodep x)))) - (defun leaf-symbol (x) (declare (xargs :guard (and (huffman-treep x) (not (nodep x))))) -- cgit v1.2.3