pub const clingo_external_type_e_clingo_external_type_free: clingo_external_type_e = 0;
Expand description
!< allow an external to be assigned freely
pub const clingo_external_type_e_clingo_external_type_free: clingo_external_type_e = 0;
!< allow an external to be assigned freely