(defknown macro-function (symbol &optional lexenv-designator)
(or function null)
(flushable))
-(defknown (macroexpand macroexpand-1) (t &optional lexenv-designator)
+(defknown (macroexpand macroexpand-1 %macroexpand %macroexpand-1)
+ (t &optional lexenv-designator)
(values form &optional boolean))
(defknown compiler-macro-function (t &optional lexenv-designator)
(real &optional real) (values integer real)
(movable foldable flushable explicit-check))
+(defknown (%floor %ceiling)
+ (real real) (values integer real)
+ (movable foldable flushable explicit-check))
+
(defknown (mod rem) (real real) real
(movable foldable flushable explicit-check))