|
|
1.1 ! root 1: (* Copyright 1989 by AT&T Bell Laboratories *) ! 2: signature BIGINT = ! 3: sig type bigint (* non-negative *) ! 4: val bigint : int -> bigint ! 5: val getbit : bigint * int -> bool (* get the i'th bit; low-order ! 6: bit is numbered 0 *) ! 7: val size : bigint -> int (* size 0 = 0; size i = 1+floor(log2(i)) *) ! 8: val + : bigint * bigint -> bigint ! 9: val * : bigint * bigint -> bigint ! 10: val >> : bigint * int -> bigint (* shift right *) ! 11: end
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.