Macro ruly::set_fun

macro_rules! set_fun {
    ( ($t:ty,0); $p:ident ) => { ... };
    ( ($t:ty,1); $p:ident ) => { ... };
    ( $t:ty; $p:ident ) => { ... };
    ( {  $t:expr, $sort:ty, $c:expr }; $p:ident ) => { ... };
    ( { $t:expr }; $p:ident ) => { ... };
}