Macro pa::sub

macro_rules! sub {
    ($x:expr) => { ... };
    ($x:expr,$y:expr) => { ... };
}

x - y

Syntax:

1. sub!(x) :: [Sub] t => t -> t
2. sub!(x,y) = x - y