[−][src]Constant btor2tools_sys::Btor2Tag_BTOR2_TAG_state

pub const Btor2Tag_BTOR2_TAG_state: Btor2Tag = 52;