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