[−][src]Constant clingo_sys::clingo_ast_term_type_clingo_ast_term_type_symbol
pub const clingo_ast_term_type_clingo_ast_term_type_symbol: clingo_ast_term_type
pub const clingo_ast_term_type_clingo_ast_term_type_symbol: clingo_ast_term_type