(levels-sort-< x y levels) → *
Function:
(defun levels-sort-< (x y levels) (declare (xargs :stobjs (levels))) (declare (xargs :guard (and (litp-for-levels x levels) (litp-for-levels y levels)))) (let ((__function__ 'levels-sort-<)) (declare (ignorable __function__)) (< (get-u32 (lit-id x) levels) (get-u32 (lit-id y) levels))))