[−][src]Constant btor2tools_sys::Btor2SortTag_BTOR2_TAG_SORT_bitvec

pub const Btor2SortTag_BTOR2_TAG_SORT_bitvec: Btor2SortTag = 1;