Macro as_fact_impl

macro_rules! as_fact_impl {
    ($M:ident, $F: ident) => { ... };
}