1 2 3 4 5 6 7 8 9 10 11 12
// // ProofModeExample-Bridging-Header.h // ProofModeExample // #ifndef ProofModeExample_Bridging_Header_h #define ProofModeExample_Bridging_Header_h // Import the FFI header from the framework #import <ProofModeRust/proofmodeFFI.h> #endif /* ProofModeExample_Bridging_Header_h */