[−][src]Constant btor2tools_sys::Btor2SortTag_BTOR2_TAG_SORT_array

pub const Btor2SortTag_BTOR2_TAG_SORT_array: Btor2SortTag = 0;