Constant clingo_sys::clingo_ast_theory_sequence_type_e_clingo_ast_theory_sequence_type_list

source · 
pub const clingo_ast_theory_sequence_type_e_clingo_ast_theory_sequence_type_list: clingo_ast_theory_sequence_type_e = 1;
Expand description

!< Theory lists “[t1,…,tn]”.