pub type clingo_truth_value_e = c_uint;
Expand description

! Represents three-valued truth values.