macro_rules! let_cell {
{ $var:ident = $rhs:expr; $body:expr } => { ... };
{ $var1:ident = $rhs1:expr ; $( $var2:ident = $rhs2:expr ),+ ; $body:expr} => { ... };
}
Expand description
Let-bind a nominal ref cell via cell
, using the let-bound variable identifier as its name. Permits sequences of bindings.
Example usage: Adapton Example: Nominal firewalls.