path: root/src/theory/arith/kinds

# kinds                                                               -*- sh -*-
#
# For documentation on this file format, please refer to
# src/expr/builtin_kinds.
#

operator PLUS "arithmetic addition"
operator MULT "arithmetic multiplication"
operator UMINUS "arithmetic negation"

constant CONST_RATIONAL ::CVC4::Rational "a multiple-precision rational constant"
constant CONST_INTEGER ::CVC4::Integer "a multiple-precision integer constant"