Function simplicity_sys::ffi::eval::analyseBounds

pub unsafe extern "C" fn analyseBounds(
    cell_bound: *mut ubounded,
    UWORD_bound: *mut ubounded,
    frame_bound: *mut ubounded,
    cost_bound: *mut ubounded,
    max_cells: ubounded,
    max_cost: ubounded,
    dag: *const CDagNode,
    type_dag: *const CType,
    len: size_t
) -> SimplicityErr

Given a well-typed dag representing a Simplicity expression, compute the memory and CPU requirements for evaluation.

Refer to C documentation for preconditions.