15.4.945  src/lib/src/lib/thread-kit/src/posix/thread-scheduler-control.pkg

## thread-scheduler-control.pkg
#
# This is the user-level interface used to
# start/stop the threadkit scheduler -- see
#
#     src/lib/src/lib/thread-kit/src/glue/thread-scheduler-control.api

# Compiled by:
#     src/lib/std/standard.lib


package thread_scheduler_control
    =
    thread_scheduler_control_g(                         # thread_scheduler_control_g            is from   src/lib/src/lib/thread-kit/src/glue/thread-scheduler-control-g.pkg
        #
        threadkit_driver_for_posix                      # threadkit_driver_for_posix            is from   src/lib/src/lib/thread-kit/src/posix/threadkit-driver-for-posix.pkg
    );



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