pub const clingo_external_type_e_clingo_external_type_true: clingo_external_type_e = 1;
Expand description
!< assign an external to true
pub const clingo_external_type_e_clingo_external_type_true: clingo_external_type_e = 1;
!< assign an external to true