Type Definition clingo_ground_program_observer_t
clingo_sys
type clingo_ground_program_observer_t = clingo_ground_program_observer;