option program_allow_nontermination_unsafe

Default: false

Interprets all equations p = q as rewrite rules p -> q regardless of termination behavior. Can diverge.

Keyword:

coequalize
eval
pi
import_jdbc_all
schema_literal
colimit
counit
unit_query
pi
sigma
typeside_literal
counit_query
include
sigma
import_jdbc_direct
import_jdbc
query_literal
back
coeval
coproduct
unit
constraints_literal
simple
instance_literal
toCoQuery
chase

Appears in:

Tutorial