Implementation of the #[warp_contract] attribute. See the warp-contracts documentation for more information.
warp-contracts