ContractsExtension

Derive Macro ContractsExtension 

Source
#[derive(ContractsExtension)]
Expand description

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