[BACK]Return to overload.sig CVS log [TXT] [DIR] Up to [Research Unix] / researchv10no / cmd / sml / src / typing
File:  [Research Unix] / researchv10no / cmd / sml / src / typing / overload.sig
Revision 1.1.1.1 (vendor branch): download - view: text, annotated - select for diffs
Tue Apr 24 17:21:34 2018 UTC (8 years, 1 month ago) by root
Branches: belllabs, MAIN
CVS tags: researchv10, HEAD
researchv10 Norman

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

signature OVERLOAD =
sig
  structure Basics : BASICS
  exception Overld
  val resetOverloaded : unit -> unit
  val markOverloaded : unit -> unit
  val pushOverloaded : Basics.var ref -> Basics.ty
  val resolveOverloaded : unit -> unit
end  (* signature OVERLOAD *)
unix.superglobalmegacorp.com

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