Type Definition clingo_sys::clingo_propagator_t

type clingo_propagator_t = clingo_propagator;