diff options
| author | Benno Lossin <benno.lossin@proton.me> | 2025-05-23 15:38:57 +0200 |
|---|---|---|
| committer | Benno Lossin <benno.lossin@proton.me> | 2025-05-23 17:37:53 +0200 |
| commit | a08f6f10d4ab94d53793480782e9e939b48a3ebe (patch) | |
| tree | 20038f215caf3576c6844fedd731d2ac4608f109 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 52bf0cf795dfecc8b929ebb1c1e2545c3f41d4c9 (diff) | |
| download | rust-a08f6f10d4ab94d53793480782e9e939b48a3ebe.tar.gz rust-a08f6f10d4ab94d53793480782e9e939b48a3ebe.zip | |
document representation of `Option<unsafe fn()>`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions