option allow_java_eqs_unsafe

Default: true

When enabled, allows arbitrary equations involving java typeside symbols. May induce undefined behavior.

Keyword:

pivot
coequalize
counit_query
sigma
import_jdbc_all
schema_literal
colimit
pseudo_quotient
unit
sigma
sigma_chase
typeside_literal
coeval
pivot
coproduct
pi
quotient_query
import_jdbc_direct
import_jdbc
back
eval
unit_query
coproduct
counit
coeval
simple
pivot
instance_literal
toCoQuery
chase
schema_colimit_literal

Appears in: