Function simplicity_sys::ffi::type_inference::mallocTypeInference

source ·

pub unsafe extern "C" fn mallocTypeInference(
    type_dag: *mut *mut CType,
    dag: *mut CDagNode,
    len: size_t,
    census: *const CCombinatorCounters
) -> SimplicityErr

Expand description

If the Simplicity DAG, ‘dag’, has a principal type (including constraints due to sharing of subexpressions), then allocate a well-formed type DAG containing all the types needed for all the subexpressions of ‘dag’.