src/theory/uf/kinds

   1 # kinds                                                               -*- sh -*-
   2 #
   3 # For documentation on this file format, please refer to
   4 # src/theory/builtin/kinds.
   5 #
   6
   7 theory ::CVC4::theory::uf::TheoryUF "theory_uf.h"
   8
   9 parameterized APPLY_UF VARIABLE 1: "uninterpreted function application"
  10
  11 variable SORT_TAG "sort tag"
  12 parameterized SORT_TYPE SORT_TAG 0: "sort type"