[package]

name = "enforce"
version = "0.0.1"
authors = ["Jonathan Reem <jonathan.reem@gmail.com>"]

[dev-dependencies]
stainless = ">0.0.0"