Struct dyon::prelude::PreludeFunction [−] [src]

pub struct PreludeFunction {
    pub arg_constraints: Vec<ArgConstraint>,
    pub returns: bool,
}

Stores preloaded function constraints. These are already checked.

Fields

arg_constraints: Vec<ArgConstraint> returns: bool

Methods

impl PreludeFunction
[src]

fn new(f: &Function) -> PreludeFunction

Trait Implementations

impl Clone for PreludeFunction
[src]

fn clone(&self) -> PreludeFunction

Returns a copy of the value. Read more

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

Performs copy-assignment from source. Read more