|
|
1.1 ! root 1: (* Copyright 1989 by AT&T Bell Laboratories *) ! 2: signature MODUTIL = ! 3: sig ! 4: ! 5: val mapSubstrs : (Basics.Structure -> Basics.Structure) * Basics.Structure array ! 6: -> Basics.Structure array ! 7: val setParent : Basics.Structure -> Basics.Structure -> unit ! 8: val resetParent : Basics.Structure -> Basics.Structure -> unit ! 9: val linkParents : Basics.Structure -> unit ! 10: val shiftSigStamps : Stampset.stampsets * Basics.Structure -> Basics.Structure ! 11: val shiftFctStamps : Basics.Functor -> Basics.Functor ! 12: ! 13: end
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.