Contract Profiling
contract-profile
6.0

Contract Profiling

 (require contract-profile) package: contract-profile

This module provides experimental support for contract profiling.

syntax

(contract-profile body ...)

Produces several reports about the performance costs related to contract checking in body. Each of these reports is printed to a separate file.