HH\watchman_unsubscribe

namespace HH;

function watchman_unsubscribe(
  string $sub_name,
): Awaitable<string>;