Type Definition clingo_sys::clingo_ast_theory_function_t

type clingo_ast_theory_function_t = clingo_ast_theory_function;