option require_consistency

Default: true

When enabled, requires CQL instances to be consistent (e.g., to not prove 1=2). (This is checked at runtime.). Note: is a conservative approximation to conservativity over the type side, the desired condition.

Keyword:

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

Appears in:

Compose
Inverse
NewDemo
NewDemoPsuedo
RExt