#ifndef MANGO_HANDLE_H_
#define MANGO_HANDLE_H_

#include <mango/status.h>
#include <mango/types.h>

extern kern_status_t kern_handle_close(kern_handle_t handle);

#endif