Type Alias btor2tools_sys::Btor2SortTag

source · 
pub type Btor2SortTag = c_uint;