Library async_interactive

The entry point for this library is module Async_interactive.