Searched defs:default_handler (Results 1 – 3 of 3) sorted by relevance
35 void (*default_handler)() = std::get_terminate(); in main() local
36 void (*default_handler)() = std::get_terminate(); in main() local
11 def __init__(self, default_handler): argument