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
toQuery
query_literal
mapping_literal
transform_literal
fromCoSpan
query_compose

Appears in:

All_Syntax
Compose
ForeignKeys