15.4.1240  src/lib/std/src/wallclock-timer.pkg

## wallclock-timer.pkg

# Compiled by:
#     src/lib/std/src/standard-core.sublib



package   wallclock_timer
: (weak)  Wallclock_Timer                                       # Wallclock_Timer                       is from   src/lib/std/src/wallclock-timer.api
    =
    internal_wallclock_timer;                                   # internal_wallclock_timer              is from   src/lib/std/src/internal-wallclock-timer.pkg




## COPYRIGHT (c) 1995 AT&T Bell Laboratories.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.