pub unsafe extern "C" fn computeAnnotatedMerkleRoot(
    analyses: *mut CAnalyses,
    dag: *const CDagNode,
    ty: *const CType,
    len: size_t
)
Expand description

Given a well-typed dag representing a Simplicity expression, compute the annotated Merkle roots of all subexpressions.