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:

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

Appears in:

Compose
Inverse