[package]

name = "better_range"
version = "0.0.1"
authors = ["Utkarsh Kukreti <utkarshkukreti@gmail.com>"]

[dependencies]
stainless = "0.0.4"