[−][src]Type Definition clingo_sys::clingo_options_t

type clingo_options_t = clingo_options;

Object to add command-line options.