Function ergo::ergo_lib_propositions_delete

source · 
#[no_mangle]
pub unsafe extern "C" fn ergo_lib_propositions_delete(
    ptr: PropositionsPtr
)
Expand description

Drop Propositions