adapton

Macro let_thunk

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

Let-bind a nominal thunk via thunk!, without forcing it. Permits sequences of bindings.

Example usage: Adapton Example: Nominal firewalls.