Type Definition clingo_weighted_literal_t
clingo_sys
type clingo_weighted_literal_t = clingo_weighted_literal;