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