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

SCM Repository

[smlnj] View of /sml/trunk/src/compiler/TopLevel/environ/symenv.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 879 - (download) (as text) (annotate)
Thu Jul 19 18:59:38 2001 UTC (18 years, 2 months ago) by blume
File size: 617 byte(s)
extensive organizational changes
(* COPYRIGHT (c) 1995 by Bell Laboratories *)
(* symenv.sig *)

signature SYMENV = sig
    type flint = FLINT.prog
    type symenv
    type pid = PersStamps.persstamp

    val empty: symenv
    val look: symenv -> pid -> flint option
    val bind: pid * flint * symenv -> symenv
    val atop: symenv * symenv -> symenv
    val remove: pid list * symenv -> symenv
    val consolidate: symenv -> symenv
    val singleton: pid * flint -> symenv
    val listItemsi: symenv -> (pid * flint) list
    val fromListi: (pid * flint) list -> symenv

    val mk : pid option * flint option -> symenv
end (* signature SYMENV *)


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