Type Definition clingo_sys::clingo_ast_theory_term_t [] [src]

type clingo_ast_theory_term_t = clingo_ast_theory_term;