option dont_validate_unsafe

Default: false

When enabled, mappings and transforms and queries are not checked to be equality-preserving. For a query, when true it also disables decision procedure construction for sub-queries.

Keyword:

simple
toCoQuery
back
toQuery
query_literal
mapping_literal
transform_literal
fromCoSpan
query_compose

Appears in:

All_Syntax
Compose
ForeignKeys
NewDemo
NewDemoPsuedo
RExt