diff options
Diffstat (limited to 'src/expr/builtin_kinds')
| -rw-r--r-- | src/expr/builtin_kinds | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/expr/builtin_kinds b/src/expr/builtin_kinds index c4eb3af1c..eb41c788e 100644 --- a/src/expr/builtin_kinds +++ b/src/expr/builtin_kinds @@ -120,3 +120,11 @@ operator DISTINCT 2: "disequality" variable SKOLEM "skolem var" variable VARIABLE "variable" operator TUPLE 2: "a tuple" + +constant TYPE_CONSTANT \ + ::CVC4::TypeConstant \ + ::CVC4::TypeConstantHashStrategy \ + "expr/type_constant.h" \ + "basic types" +operator FUNCTION_TYPE 2: "function type" +variable SORT_TYPE "sort type" |