Function ergo::ergo_lib_propositions_new

source · 
#[no_mangle]
pub unsafe extern "C" fn ergo_lib_propositions_new(
    propositions_out: *mut PropositionsPtr
)
Expand description

Create empty proposition holder