Closed spearman closed 6 years ago
This should obviate the need to explicitly use session_types::Branch; at the macro invocation site.
use session_types::Branch;
Nice, thanks!
This should obviate the need to explicitly
use session_types::Branch;
at the macro invocation site.