Type Definition clingo_sys::clingo_signature_t

type clingo_signature_t = u64;

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