Macro ferrite_session::natural_transformation

macro_rules! natural_transformation {
    ( { $( $field:ident : $field_type:ty ),* $(,)? } ;
    $name:ident : forall x . $f1:ty [@x] -> $f2:ty [@x] ;
    ($arg:ident) => $body:expr
  ) => { ... };
}