pub trait ValueStatementBuilder: Sized {
    // Required methods
    fn assign(self, assign: impl Into<AssignConstraint>) -> ValueStatement;
    fn predicate(self, predicate: impl Into<Predicate>) -> ValueStatement;
}

Required Methods§

source

fn assign(self, assign: impl Into<AssignConstraint>) -> ValueStatement

source

fn predicate(self, predicate: impl Into<Predicate>) -> ValueStatement

Object Safety§

This trait is not object safe.

Implementors§