Get class name from class
namespace HH; function class_get_class_name( mixed $class, ): string;
mixed $class
class