Return to sharing.sig CVS log

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

researchv10 Norman

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

signature SHARING =
  sig
    structure Basics: BASICS
    val doSharing : Basics.symtable * Basics.strenv * Stampset.stampsets 
		    * Basics.sharespec -> Basics.sharespec
    val checkSharing : Basics.symtable * Basics.strenv * Basics.sharespec -> unit
  end

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