[−][src]Constant btor2tools_sys::Btor2Tag_BTOR2_TAG_slt

pub const Btor2Tag_BTOR2_TAG_slt: Btor2Tag = 43;