creusot-contracts-proc 0.5.0

Proc macro crate for creusot-contracts
Documentation