CBMC
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.