CBMC
Functions
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
)
static
noexcept
Definition at line
46
of file
c_api.h
.
rust
behavior
Generated by
1.9.1