Module estimator 

Data that may be collected during execution and used to estimate trace area.

Structs

RecordEstimator

Data accumulated during execution to estimate the core trace area used to prove the execution.