Module simplicity_sys::ffi::type_inference

source ·

Functions§

  • mallocTypeInference⚠
    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’.