Return to sigmatch.sig CVS log

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

Annotation of researchv10no/cmd/sml/src/typing/sigmatch.sig, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: (* sigmatch.sig *)
                      3: 
                      4: signature SIGMATCH =
                      5: sig
                      6:   structure Basics: BASICS
                      7: 
                      8:   val match0  : {mapstr1: int*Basics.Structure->unit,
                      9:                 maptyc: int*Basics.tycon->unit,
                     10:                 mapstr: Basics.Structure*Basics.Structure->unit}
                     11:             -> bool * Basics.Symbol.symbol list * Stampset.stampsets
                     12:                 * Basics.Structure * Basics.Structure * Basics.Structure
                     13:             -> Basics.Structure * Basics.thinning
                     14: 
                     15:   val match   : bool * Basics.Symbol.symbol list * Stampset.stampsets
                     16:                 * Basics.Structure * Basics.Structure * Basics.Structure
                     17:             -> Basics.Structure * Basics.thinning
                     18: 
                     19:   val realize : bool * Basics.Symbol.symbol list * Stampset.stampsets * Basics.stamp
                     20:                  * Basics.Structure * Basics.Structure
                     21:             -> Basics.Structure * Basics.trans list
                     22: end
                     23: 

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