Struct ModuleDef 

pub struct ModuleDef {
    pub name: String,
    pub params: Vec<TypedParam>,
    pub outputs: Vec<TypedParam>,
    pub body: Vec<Statement>,
    pub span: Span,
}

A formal module definition with typed interface.

hash_range(input: u64, max: u64) -> (value: u64) := {
    h := hash(input)
    value := mod(h, max)
}

Fields

name: String

The module’s name.

params: Vec<TypedParam>

The typed inputs, in signature order.

outputs: Vec<TypedParam>

The typed outputs, in signature order.

body: Vec<Statement>

The module body.

span: Span

Where the definition appears.

Trait Implementations

impl Clone for ModuleDef

fn clone(&self) -> ModuleDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleDef

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

Formats the value using the given formatter.