Type Definition clingo_ast_theory_term_definition_t
clingo_sys
type clingo_ast_theory_term_definition_t = clingo_ast_theory_term_definition;