[][src]Trait gf::smt::Binding

pub trait Binding {
    type Context;
    type Error;
    fn eval(&self, context: &Self::Context) -> Result<ExprValue, Self::Error>;
}

A binding in a BoundExpr.

Associated Types

type Context

Context type passed to eval.

type Error

Error type.

Loading content...

Required methods

fn eval(&self, context: &Self::Context) -> Result<ExprValue, Self::Error>

Evaluate the binding.

Loading content...

Implementors

Loading content...