Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/branches/FLINT/src/compiler/PervEnv/Basis/int-inf.sig
ViewVC logotype

Annotation of /sml/branches/FLINT/src/compiler/PervEnv/Basis/int-inf.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 227 - (view) (download) (as text)

1 : monnier 89 (* int-inf.sig
2 :     *
3 :     * COPYRIGHT (c) 1995 by AT&T Bell Laboratories. See COPYRIGHT file for details.
4 :     *
5 :     * This package is derived from Andrzej Filinski's bignum package.
6 :     *
7 :     *)
8 :    
9 :     signature INT_INF =
10 :     sig
11 :     include INTEGER
12 :    
13 :     val divmod : (int * int) -> (int * int)
14 :     val quotrem : (int * int) -> (int * int)
15 :     val pow : (int * Int.int) -> int
16 :     val log2 : int -> Int.int
17 :    
18 :     end (* signature INT_INF *)
19 :    
20 :    
21 :     (*
22 : monnier 227 * $Log$
23 : monnier 89 *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0