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