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/TopLevel/environ/symenv.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/TopLevel/environ/symenv.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 24 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/compiler/TopLevel/environ/symenv.sig

1 : monnier 24 (* symenv.sig
2 :     *
3 :     * COPYRIGHT (c) 1995 by AT&T Bell Laboratories
4 :     *)
5 : monnier 16
6 :     signature SYMENV = sig
7 : monnier 24
8 :     type lambda = Lambda.lexp
9 : monnier 16 type symenv
10 :     type pid = PersStamps.persstamp
11 :    
12 :     val empty: symenv
13 : monnier 24 val look: symenv -> pid -> lambda option
14 :     val bind: pid * lambda * symenv -> symenv
15 : monnier 16 val atop: symenv * symenv -> symenv
16 :     val remove: pid list * symenv -> symenv
17 :     val consolidate: symenv -> symenv
18 : monnier 24 val singleton: pid * lambda -> symenv
19 : monnier 16
20 : monnier 24 end
21 :    
22 :     (*
23 :     * $Log: symenv.sig,v $
24 :     * Revision 1.1.1.1 1997/01/14 01:38:37 george
25 :     * Version 109.24
26 :     *
27 :     *)

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