Macro prcn_lib::monoid_def

macro_rules! monoid_def {
    {
        $M:ident<$t:ty>,
        $id:expr,
        $me:expr
    } => { ... };
}

一行目にモノイド名、 二行目に単位元 三行目にxとyを引数に取って、同じ型の演算結果を返すクロージャを渡す