option completion_precedence

Default: null
Defines the precedence to be used for Knuth-Bendix completion. The list a b c indicates that a < b < c. Every symbol in a typeside or schema or instance must appear exactly once in this list.

Keyword:

chase
coequalize
eval
pi
import_jdbc_all
schema_literal
colimit
unit
coeval
sigma
pi
typeside_literal
counit_query
sigma
import_jdbc
query_literal
unit_query
coproduct
counit
simple
import_jdbc_all
instance_literal
toCoQuery
constraints_literal

Appears in:

Employees
KB