cprover
Loading...
Searching...
No Matches
rust::behavior Namespace Reference

Functions

template<typename Try, typename Fail>
static void trycatch (Try &&func, Fail &&fail) noexcept
 

Function Documentation

◆ trycatch()

template<typename Try, typename Fail>
static void rust::behavior::trycatch ( Try && func,
Fail && fail )
staticnoexcept

Definition at line 46 of file c_api.h.