PreviousUpNext

15.3.180  src/lib/compiler/back/low/tools/line-number-db/symbol.api

##

# Compiled by:
#     src/lib/compiler/back/low/tools/line-number-database.lib

# Maps strings to unique symbols. 
# This saves space and makes equality testing and hashing quicker

api Unique_Symbol {

    eqtype Symbol;

    equal:       (Symbol, Symbol) -> Bool;
    compare:     (Symbol, Symbol) -> Order;
    hash:        Symbol -> Unt;
    from_string:  String -> Symbol;  
    to_string:    Symbol -> String;
};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext