Function simplicity_sys::ffi::ty::computeTypeAnalyses

pub unsafe extern "C" fn computeTypeAnalyses(
    type_dag: *mut CType,
    len: size_t
)

Given a well-formed ‘type_dag’, compute the bitSizes, skips, and type Merkle roots of all subexpressions.