Return to sigmatch.sig CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / typing

researchv10 Norman

(* Copyright 1989 by AT&T Bell Laboratories *)
(* sigmatch.sig *)

signature SIGMATCH =
sig
  structure Basics: BASICS

  val match0  : {mapstr1: int*Basics.Structure->unit,
	         maptyc: int*Basics.tycon->unit,
		 mapstr: Basics.Structure*Basics.Structure->unit}
	     -> bool * Basics.Symbol.symbol list * Stampset.stampsets
	         * Basics.Structure * Basics.Structure * Basics.Structure
	     -> Basics.Structure * Basics.thinning

  val match   : bool * Basics.Symbol.symbol list * Stampset.stampsets
	         * Basics.Structure * Basics.Structure * Basics.Structure
	     -> Basics.Structure * Basics.thinning

  val realize : bool * Basics.Symbol.symbol list * Stampset.stampsets * Basics.stamp
                 * Basics.Structure * Basics.Structure
	     -> Basics.Structure * Basics.trans list
end

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.