logos-blockchain-circuits/rust/logos-blockchain-circuits-pol-sys/src/ffi.rs

use lbc_types::ffi::{Bytes, Status, WitnessInput};
use std::ffi::c_char;

unsafe extern "C" {
    pub fn pol_generate_witness(input: *const WitnessInput, output: *mut Bytes) -> Status;

    pub fn pol_generate_witness_from_files(
        dat: *const c_char,
        inputs: *const c_char,
        output: *const c_char,
    ) -> Status;
}