|
|
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.