Macro impl_srs 

macro_rules! impl_srs {
    ($name: ident, $CamlF: ty, $CamlG: ty, $F: ty, $G: ty) => { ... };
}