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/MLRISC/gc-safety/gc-typemap.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/gc-safety/gc-typemap.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 427 signature GC_TYPEMAP =
2 :     sig
3 :    
4 :     structure C : CELLS
5 :     structure GC : GC_TYPE
6 :    
7 :     type typemap = (C.cell * GC.gctype) list
8 :    
9 :     val empty : typemap
10 :     val fromList : typemap -> typemap
11 :     val == : typemap * typemap -> bool
12 :     val meet : typemap * typemap -> typemap
13 :     val join : typemap * typemap -> typemap
14 :     val meets : typemap list -> typemap
15 :     val joins : typemap list -> typemap
16 :     val gen : typemap * typemap -> typemap
17 :     val kill : typemap * typemap -> typemap
18 :     val toString : typemap -> string
19 :    
20 :     end

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