|
|
1.1 root 1: (* Copyright 1989 by AT&T Bell Laboratories *)
2: (* overload.sig *)
3:
4: signature OVERLOAD =
5: sig
6: structure Basics : BASICS
7: exception Overld
8: val resetOverloaded : unit -> unit
9: val markOverloaded : unit -> unit
10: val pushOverloaded : Basics.var ref -> Basics.ty
11: val resolveOverloaded : unit -> unit
12: end (* signature OVERLOAD *)
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.