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