Skip to main content

Module comprehension

conjure_cp_core::ast

Module comprehension 

Source

Structs§

Comprehension
A comprehension.
ComprehensionBuilder
A builder for a comprehension.

Statics§

QUANTIFIED_EXPANDER_FOR_COMPREHENSIONS
Global setting for which comprehension quantified-variable expander to use.
USE_OPTIMISED_REWRITER_FOR_COMPREHENSIONS
The rewriter to use for rewriting comprehensions.

Functions§

quantified_expander_for_comprehensions
set_quantified_expander_for_comprehensions