Type Definition clingo_sys::clingo_ast_theory_term_type_t
[−]
[src]
type clingo_ast_theory_term_type_t = c_int;
type clingo_ast_theory_term_type_t = c_int;