Macro verify
Source macro_rules! verify {
(Falcon, $key:expr, 1024, $content:expr, Message) => { ... };
(Falcon, $key:expr, 1024, $signature:expr, $content:expr, Detached) => { ... };
(Falcon, $key:expr, 512, $content:expr, Message) => { ... };
(Falcon, $key:expr, 512, $signature:expr, $content:expr, Detached) => { ... };
(Dilithium, $key:expr, 5, $content:expr, Message) => { ... };
(Dilithium, $key:expr, 5, $signature:expr, $content:expr, Detached) => { ... };
(Dilithium, $key:expr, 3, $content:expr, Message) => { ... };
(Dilithium, $key:expr, 3, $signature:expr, $content:expr, Detached) => { ... };
(Dilithium, $key:expr, 2, $content:expr, Message) => { ... };
(Dilithium, $key:expr, 2, $signature:expr, $content:expr, Detached) => { ... };
}