Return to namespace.sig CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / env

Annotation of researchv10no/cmd/sml/src/env/namespace.sig, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: (* namespace.sig *)
                      3: 
                      4: signature NAMESPACE =
                      5: sig
                      6: 
                      7:   val namespaces: int
                      8:   val varSpace: int
                      9:   val tycSpace: int
                     10:   val tyvSpace: int
                     11:   val sigSpace: int
                     12:   val strSpace: int
                     13:   val fctSpace: int
                     14:   val fixSpace: int
                     15: 
                     16:   val varIndex: Symbol.symbol -> int
                     17:   val conIndex: Symbol.symbol -> int
                     18:   val tycIndex: Symbol.symbol -> int
                     19:   val tyvIndex: Symbol.symbol -> int
                     20:   val sigIndex: Symbol.symbol -> int
                     21:   val strIndex: Symbol.symbol -> int
                     22:   val fctIndex: Symbol.symbol -> int
                     23:   val fixIndex: Symbol.symbol -> int
                     24: 
                     25:   val varKey: Symbol.symbol -> int * string
                     26:   val conKey: Symbol.symbol -> int * string
                     27:   val tycKey: Symbol.symbol -> int * string
                     28:   val tyvKey: Symbol.symbol -> int * string
                     29:   val sigKey: Symbol.symbol -> int * string
                     30:   val strKey: Symbol.symbol -> int * string
                     31:   val fctKey: Symbol.symbol -> int * string
                     32:   val fixKey: Symbol.symbol -> int * string
                     33: 
                     34:   val key: int * Symbol.symbol -> int * string
                     35: 
                     36: end (* signature NAMESPACE *)

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