diff options
Diffstat (limited to 'src/theory/uf/kinds')
| -rw-r--r-- | src/theory/uf/kinds | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/theory/uf/kinds b/src/theory/uf/kinds index 5106136bc..9280141ea 100644 --- a/src/theory/uf/kinds +++ b/src/theory/uf/kinds @@ -1 +1,7 @@ -APPLY +# kinds -*- sh -*- +# +# For documentation on this file format, please refer to +# src/expr/builtin_kinds. +# + +parameterized APPLY "uninterpreted function application" |