option allow_java_eqs_unsafe

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

Keyword:

pivot
coequalize
coeval
sigma
import_jdbc_all
schema_literal
colimit
coproduct
unit
sigma
sigma_chase
typeside_literal
counit_query
pivot
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: