|
|
1.1 root 1: (* Copyright 1989 by AT&T Bell Laboratories *)
2: (* misc.sig *)
3:
4: signature MISC =
5: sig
6:
7: val ASTERISKsym : Symbol.symbol
8: val EQUALsym : Symbol.symbol
9:
10: val for : 'a list -> ('a -> 'b) -> unit
11:
12: val sort3 : (Symbol.symbol * 'a * 'b) list -> (Symbol.symbol * 'a * 'b) list
13:
14: val protect : ((unit -> 'a) * ('a -> unit)) * (unit -> 'b) -> 'b
15:
16: val protectScope : (unit -> Env.env) * (Env.env -> unit)
17:
18: val bogusID : Symbol.symbol
19: val bogusExnID : Symbol.symbol
20: val bogusExp: BareAbsyn.exp
21:
22: val anonName : Symbol.symbol
23: val anonParamName : Symbol.symbol
24: val nullSigStamp : int
25: val nullSig : Basics.Structure
26:
27: val nullStr : Basics.Structure
28: val nullParamVar : Basics.structureVar
29:
30: val discard : 'a -> unit
31: val single : 'a -> 'a list
32:
33: val varcon : Basics.binding -> BareAbsyn.exp
34:
35: val lookID : Symbol.symbol -> BareAbsyn.exp
36:
37: val lookIDinStr : Basics.Structure * Symbol.symbol * Access.path
38: * Symbol.symbol list -> BareAbsyn.exp
39:
40: val checkNonCircular : Basics.tycon list -> unit
41:
42: val makeAbstract : Basics.tycon ref list * Basics.tycon ref list
43: -> Basics.tycon list
44:
45: val dumpStructure : Basics.structureVar -> BareAbsyn.dec
46:
47: end
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.