macro_rules! declare_types {
( type Sort = $sort:ty;
type KVar = $kvar:ty;
type Var = $var:ty;
type Decimal = $real:ty;
type String = $str:ty;
type Tag = $tag:ty;
) => { ... };
}
macro_rules! declare_types {
( type Sort = $sort:ty;
type KVar = $kvar:ty;
type Var = $var:ty;
type Decimal = $real:ty;
type String = $str:ty;
type Tag = $tag:ty;
) => { ... };
}