option allow_java_eqs_unsafe

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

Keyword:

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

Appears in: