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-utils/equality/eq-ast-ext-sig.sml
ViewVC logotype

View of /sml/trunk/ckit/src/ast-utils/equality/eq-ast-ext-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


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

local 
  type tables = Tables.tidtab * Tables.tidtab
  type maps = Tid.uid Tidtab.uidtab * Pidtab.uid Pidtab.uidtab

  type expExt = (Ast.expression, Ast.statement, Ast.binop, Ast.unop) AstExt.expressionExt
  type stmtExt = (Ast.expression, Ast.statement, Ast.binop, Ast.unop) AstExt.statementExt
  type extDeclExt = (Ast.expression, Ast.statement, Ast.binop, Ast.unop) AstExt.externalDeclExt
in
signature EQASTEXT = sig
  val eqExpressionExt   : tables -> maps -> (expExt * expExt) -> unit
  val eqStatementExt    : tables -> maps -> (stmtExt * stmtExt) -> unit
  val eqExternalDeclExt : tables -> maps -> (extDeclExt * extDeclExt) -> unit
end
end

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