Type Definition clingo_sys::clingo_backend_t [] [src]

type clingo_backend_t = clingo_backend;

Handle to the backend to add directives in aspif format.