[−][src]Type Definition clingo_sys::clingo_ast_theory_operator_definition_t
type clingo_ast_theory_operator_definition_t = clingo_ast_theory_operator_definition;
type clingo_ast_theory_operator_definition_t = clingo_ast_theory_operator_definition;