Macro adapton::let_memo
[−]
[src]
macro_rules! let_memo { { $var:ident = ( $thkvar1:ident ) = $rhs:expr; $body:expr } => { ... }; { $var1:ident = ( $thkvar1:ident ) = $rhs1:expr ; $( $var2:ident = ( $thkvar2:ident ) = $rhs2:expr ),+ ; $body:expr} => { ... }; }
Let-bind a nominal thunk, force it, and let-bind its result. Permits sequences of bindings.
Example usage: Adapton Example: Nominal firewalls.