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/ckit/src/ast/uidtabimp-sig.sml
ViewVC logotype

View of /sml/trunk/ckit/src/ast/uidtabimp-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 597 - (download) (annotate)
Wed Apr 5 18:34:51 2000 UTC (19 years, 2 months ago) by dbm
File size: 376 byte(s)
Initial revision
(* Copyright (c) 1998 by Lucent Technologies *)

(* imperative uid tables *)

signature UIDTABIMP =
sig

  type uid
  type 'a uidtab

  val insert : 'info uidtab * uid * 'info -> unit
  val find : 'info uidtab * uid -> 'info option
  val listItems : 'info uidtab -> 'info list
  val listItemsi : 'info uidtab -> (uid * 'info) list

  val uidtab : unit -> 'info uidtab

end




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