Struct BindingConstraintObj

#[repr(C)]
pub struct BindingConstraintObj {
    pub var: Var,
    pub value: Expr,
    /* private fields */
}

Complete: reflected fields fill [24, 40) exactly.

Fields

var: Var

value: Expr

Trait Implementations

impl Deref for BindingConstraintObj

type Target = ConstraintObj

The resulting type after dereferencing.

fn deref(&self) -> &ConstraintObj

Dereferences the value.

impl<'a> From<&'a BindingConstraintObj> for AnyView<'a>

fn from(value: &'a BindingConstraintObj) -> Self

Converts to this type from the input type.

impl ObjectCore for BindingConstraintObj

const TYPE_KEY: &'static str = "sym.BindingConstraint"

the type key of the object

const TYPE_DEPTH: i32 = 2i32

Depth of this type in the object inheritance tree.

fn type_index() -> i32

unsafe fn object_header_mut(this: &mut Self) -> &mut TVMFFIObject

Return the object header This function is implemented as a static function so