Struct FunctionDef

pub struct FunctionDef<'st>(pub Symbol<'st>, pub &'st [SortedVar<'st>], pub Sort<'st>, pub &'st Term<'st>);

<symbol> (<sorted_var>*) <sort> <term>

Tuple Fields

0: Symbol<'st>

1: &'st [SortedVar<'st>]

2: Sort<'st>

3: &'st Term<'st>

Implementations

impl<'st> FunctionDef<'st>

pub fn parse( st: &'st Storage, src: &str, ) -> Result<FunctionDef<'st>, ParseError>

Trait Implementations

impl<'st> Clone for FunctionDef<'st>

fn clone(&self) -> FunctionDef<'st>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'st> Debug for FunctionDef<'st>

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

Formats the value using the given formatter.

impl Display for FunctionDef<'_>

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

Formats the value using the given formatter.

impl<'st> Hash for FunctionDef<'st>

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<'st> PartialEq for FunctionDef<'st>

fn eq(&self, other: &FunctionDef<'st>) -> 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<'st> Copy for FunctionDef<'st>

impl<'st> Eq for FunctionDef<'st>

impl<'st> StructuralPartialEq for FunctionDef<'st>