> Note that the contracts are not yet verified ...
# eapj
Jeff Gulbronson
10/04/2018, 2:54 PMNote that the contracts are not yet verified at the declaration site, so it’s your responsibility to provide accurate information there. See this KEEP for the syntax, as well as for compatibility guarantees and general design overview.