Trait SetExpression 

pub trait SetExpression<H: HostTypes>: TermExpression<H> { }

An AST node for set-builder notation (e.g., {x : P(x)}).

Implementors

impl<'r, R: SetExpressionResolver<H>, H: HostTypes> SetExpression<H> for ResolvedSetExpression<'r, R, H>

impl<H: HostTypes> SetExpression<H> for NullSetExpression<H>