Macro snarkvm_synthesizer::cast_ref
source · macro_rules! cast_ref { (($variable:expr) as $object:ident<$($traits:path),+>) => { ... }; ($variable:ident as $object:ident<$($traits:path),+>) => { ... }; (&$variable:ident as $object:ident<$($traits:path),+>) => { ... }; }
Expand description
A helper macro to downcast a $variable
to $object<$network>
.