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     ! 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.