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/trunk/src/compiler/FLINT/kernel/debindex.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/FLINT/kernel/debindex.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 245 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/kernel/debindex.sig

1 : monnier 245 (* COPYRIGHT (c) 1997 YALE FLINT PROJECT *)
2 :     (* debindex.sig *)
3 :    
4 :     signature DEB_INDEX =
5 :     sig
6 :     eqtype depth
7 :     eqtype index
8 :    
9 :     val top : depth
10 :     val next : depth -> depth
11 :     val prev : depth -> depth
12 :     val eq : depth * depth -> bool
13 :     val calc : depth * depth -> index
14 :     val cmp : depth * depth -> order
15 :    
16 :     val dp_print : depth -> string
17 :     val dp_key : depth -> int
18 :     val dp_toint: depth -> int
19 :     val dp_fromint: int -> depth
20 :    
21 :     val di_print : index -> string
22 :     val di_key : index -> int
23 :     val di_toint: index -> int
24 :     val di_fromint: int -> index
25 :    
26 :     val innermost : index
27 :     val innersnd : index
28 :     val di_inner : index -> index
29 :    
30 :     end (* signature DEB_INDEX *)
31 :    
32 :    
33 :     (*
34 :     * $Log$
35 :     *)

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