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