adapton

Macro let_cell

Source 
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.