Macro polyhorn_core::use_state

macro_rules! use_state {
    ($manager:expr) => { ... };
    ($manager:expr, $initial_value:expr) => { ... };
}