pub type clingo_signature_t = u64;
Expand description

! Represents a predicate signature. ! ! Signatures have a name and an arity, and can be positive or negative (to ! represent classical negation).