Type Definition clingo_options_t
clingo_sys
type clingo_options_t = clingo_options;
! Object to add command-line options.