Macro declare_fn

macro_rules! declare_fn {
    ($fun:ident ($($name:ident : $ty:ty),+)) => { ... };
}

declare a function checker with the correct arguments

pass the function to check as first argument followed by the function arguments.