Struct dyon::prelude::Dfn

pub struct Dfn {
    pub lts: Vec<Lt>,
    pub tys: Vec<Type>,
    pub ret: Type,
}

Stores preloaded function constraints. These are already checked.

Fields

lts: Vec<Lt>

tys: Vec<Type>

ret: Type

Methods

impl Dfn

pub fn new(f: &Function) -> Dfn

pub fn returns(&self) -> bool

Trait Implementations

impl Clone for Dfn

fn clone(&self) -> Dfn

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<Dfn> for Dfn

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

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

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

This method tests for !=.

impl Debug for Dfn

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

Formats the value using the given formatter.