use dade::model;
#[model]
enum TestModel {
    Value(
       #[field(le = 2.0)]
        u64
    ),
}
fn main() {}