15.3.85  src/lib/compiler/front/basics/stats/compile-statistics.api

## compile-statistics.api

# Compiled by:
#     src/lib/compiler/front/basics/basics.make6



api Compile_Statistics {

    Stat;
    Counter;

    #  The counters (argument) will be add'd whenever the new counter is 
    new_counter:  List( Counter ) -> Counter;
    get_counter:  Counter -> Int;
    add_counter:  Counter -> Int -> Void;

    #  A stat contains the sum of the argument counters. 

    new_stat:  (String, List( Counter )) -> Stat;
    get_stat:  Stat -> Int;

    #  Add the Stat to the summary 

    register_stat:  Stat -> Void;

    #  old interface, deprecated. 

    make_stat:  String -> Stat;
    add_stat:  Stat -> Int -> Void;

    Phase;

    make_phase:  String -> Phase;
    do_phase:    Phase -> (X -> Y) -> (X -> Y);
    keep_time:   Ref(  Bool );
    approx_time: Ref( Bool );  #  Doesn't do anything right now 
    say_begin:   Ref(  Bool );
    say_end:     Ref(  Bool );
    summary:     Void -> Void;
    summary_sp:  Void -> Void;
    reset:       Void -> Void;
};