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