::core::ports::

Function inspect

pub extern fn inspect<T>(w: &inv T) -> &T
Expand

Retrieves the contents of an inv wire.

Examples

let (fwd, back) = port();
let peek = core::ports::inspect(&back);
set back = true;
assert *peek == true;