Function simplicity_sys::ffi::dag::verifyCanonicalOrder

source · 
pub unsafe extern "C" fn verifyCanonicalOrder(
    dag: *mut CDagNode,
    len: size_t
) -> SimplicityErr
Expand description

Verifies that the ‘dag’ is in canonical order, meaning that nodes under the left branches have lower indices than nodes under