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).