(index ("lognum?" 0) ("lognum-sign" 0) ("lognum-value" 0) ("number->lognum" 0) ("lognum->number" 0) ("lognum+" 0) ("lognum-" 0) ("lognum*" 0) ("lognum/" 0) ("lognum-neg" 0) ("lognum-abs" 0) ("lognum-signum" 0) ("lognum-recip" 0))
(def (sig (procedure "lognum?:: X -> BOOL" (id lognum?)) (procedure "lognum-sign:: X -> INTEGER" (id lognum-sign)) (procedure "lognum-value:: X -> NUMBER" (id lognum-value)) (procedure "number->lognum:: NUMBER -> LOGNUM" (id number->lognum)) (procedure "lognum->number:: LOGNUM -> NUMBER" (id lognum->number)) (procedure "lognum+:: A * B -> X" (id lognum+)) (procedure "lognum-:: A * B -> X" (id lognum-)) (procedure "lognum*:: A * B -> X" (id lognum*)) (procedure "lognum/:: A * B -> X" (id lognum/)) (procedure "lognum-neg:: A -> B" (id lognum-neg)) (procedure "lognum-abs:: A -> B" (id lognum-abs)) (procedure "lognum-signum:: A -> B" (id lognum-signum)) (procedure "lognum-recip:: A -> B" (id lognum-recip))))
