Enum prusto::types::PrestoInt

pub enum PrestoInt {
    I8,
    I16,
    I32,
    I64,
}

Variants

I8

I16

I32

I64

Implementations

impl PrestoInt

pub fn raw_type(&self) -> RawPrestoTy

Trait Implementations

impl Clone for PrestoInt

fn clone(&self) -> PrestoInt

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PrestoInt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for PrestoInt

impl PartialEq<PrestoInt> for PrestoInt

fn eq(&self, other: &PrestoInt) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for PrestoInt

impl StructuralPartialEq for PrestoInt