Function simplicity_sys::ffi::eval::evalTCOProgram

pub unsafe fn evalTCOProgram(
    dag: *const CDagNode,
    type_dag: *mut CType,
    len: size_t,
    budget: *const ubounded,
    env: *const CElementsTxEnv
) -> SimplicityErr

Run the Bit Machine on the well-typed Simplicity program ‘dag[len]’.

Defined insine in eval.h; since it is a 1-liner we just copy it into Rust.

Safety

This function directly wraps evalTCOExpression; see the documentation for that function in the C source code for preconditions.