Derive Macro ContractsExtension

Source
#[derive(ContractsExtension)]
Expand description

A proc macro for generating initialization code for a contracts extension.