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/FLINT/kernel/lambdavar.sig
ViewVC logotype

View of /sml/trunk/src/compiler/FLINT/kernel/lambdavar.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93 - (download) (as text) (annotate)
Tue May 12 21:56:22 1998 UTC (21 years, 11 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/kernel/lambdavar.sig
File size: 579 byte(s)
*** empty log message ***
(* Copyright 1996 by AT&T Bell Laboratories *)
(* lambdavar.sig *)

signature LAMBDA_VAR = 
sig

  type lvar  

  val saveLvarNames : bool ref
  val lvarIsNamed : lvar -> bool
  val prLvar: lvar-> string
  val sameName : lvar * lvar -> unit

  val clear : unit -> unit
  val mkLvar : unit -> lvar
  val dupLvar : lvar -> lvar
  val namedLvar : Symbol.symbol -> lvar
  val lvarSym : lvar -> Symbol.symbol option
  val lvarName : lvar -> string

end (* signature LAMBDA_VAR *)

(*
 * $Log: lambdavar.sig,v $
 * Revision 1.1.1.1  1998/04/08 18:39:40  george
 * Version 110.5
 *
 *)

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