Struct ResolvedFunction

pub struct ResolvedFunction {
    pub id: ResolvedFunctionId,
    pub partial_arcsorts: Vec<ArcSort>,
    pub name: String,
}

Fields

id: ResolvedFunctionId

partial_arcsorts: Vec<ArcSort>

name: String

Trait Implementations

impl BaseValue for ResolvedFunction

const MAY_UNBOX: bool = false

fn intern(&self, table: &InternTable<Self, Value>) -> Value

fn as_any(&self) -> &(dyn Any + 'static)

fn try_box(&self) -> Option<Value>

fn try_unbox(_val: Value) -> Option<Self>

impl Clone for ResolvedFunction

fn clone(&self) -> ResolvedFunction

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedFunction

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

Formats the value using the given formatter.

impl Hash for ResolvedFunction

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ResolvedFunction

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

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ResolvedFunction