Return to sharing.sig CVS log

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

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

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: (* sharing.sig *)
                      3: 
                      4: signature SHARING =
                      5:   sig
                      6:     structure Basics: BASICS
                      7:     val doSharing : Basics.symtable * Basics.strenv * Stampset.stampsets 
                      8:                    * Basics.sharespec -> Basics.sharespec
                      9:     val checkSharing : Basics.symtable * Basics.strenv * Basics.sharespec -> unit
                     10:   end

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