Annotation of /sml/branches/SMLNJ/src/compiler/FLINT/kernel/debindex.sig

Parent Directory | Revision Log

---

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

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