Struct IntervalSetObj

#[repr(C)]
pub struct IntervalSetObj { /* private fields */ }

Opaque: parent ‘sym.IntSet’ is opaque (layout-unknown). Fields are read through the C ABI getters.

Implementations

impl IntervalSetObj

pub fn min_value(&self) -> Result<Expr>

pub fn max_value(&self) -> Result<Expr>

Trait Implementations

impl Deref for IntervalSetObj

type Target = IntSetObj

The resulting type after dereferencing.

fn deref(&self) -> &IntSetObj

Dereferences the value.

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

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

Converts to this type from the input type.

impl ObjectCore for IntervalSetObj

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

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