1 2 3 4 5 6 7
module ProofModeFFI { header "ProofModeFFI.h" export * use "Darwin" use "_Builtin_stdbool" use "_Builtin_stdint" }