Return to bigint.sig CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / bignums

researchv10 Norman

(* Copyright 1989 by AT&T Bell Laboratories *)
signature BIGINT =
  sig type bigint			(* non-negative *)
      val bigint : int -> bigint
      val getbit : bigint * int -> bool  (* get the i'th bit; low-order
				            bit is numbered 0 *)
      val size : bigint -> int	(* size 0 = 0; size i = 1+floor(log2(i)) *)
      val + : bigint * bigint -> bigint
      val * : bigint * bigint -> bigint
      val >> : bigint * int -> bigint    (* shift right *)
  end

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.