Macro adapton::let_cell [] [src]

macro_rules! let_cell {
    { $var:ident = $rhs:expr; $body:expr } => { ... };
    { $var1:ident = $rhs1:expr ; $( $var2:ident = $rhs2:expr ),+ ; $body:expr} => { ... };
}

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.