Module simplicity_sys::ffi::eval

Constants

• CHECK_ALL
• CHECK_CASE
• CHECK_EXEC
• CHECK_NONE

Functions

• analyseBounds^⚠
  Given a well-typed dag representing a Simplicity expression, compute the memory and CPU requirements for evaluation.
• evalTCOExpression^⚠
  Run the Bit Machine on the well-typed Simplicity expression ‘dag[len]’.
• evalTCOProgram^⚠
  Run the Bit Machine on the well-typed Simplicity program ‘dag[len]’.