Function simplicity_sys::ffi::eval::evalTCOExpression

source ·

pub unsafe extern "C" fn evalTCOExpression(
    anti_dos_checks: c_uchar,
    output: *mut UWORD,
    input: *const UWORD,
    dag: *const CDagNode,
    type_dag: *mut CType,
    len: size_t,
    budget: *const ubounded,
    env: *const CElementsTxEnv
) -> SimplicityErr

Expand description

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