Library async_extra

The entry point for this library is module Async_extra.