Macro refinement_predicate 

macro_rules! refinement_predicate {
    ($name:ident, $type:ty, $check:expr, $desc:expr) => { ... };
}

Macro to create a custom refinement predicate