Type Alias clingo_sys::clingo_signature_t
source · 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).