Struct DeclHeaderExt 

pub struct DeclHeaderExt {
    pub name: String,
    pub params: Vec<BinderExt>,
    pub return_type: Option<String>,
}

A declaration header.

Fields

name: String

The declaration name

params: Vec<BinderExt>

The telescope of binders

return_type: Option<String>

The return type

Implementations

impl DeclHeaderExt

pub fn new(name: &str) -> Self

Create a new declaration header.

pub fn add_param(self, b: BinderExt) -> Self

Add a parameter.

pub fn with_return_type(self, ty: &str) -> Self

Set the return type.

Trait Implementations

impl Clone for DeclHeaderExt

fn clone(&self) -> DeclHeaderExt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeclHeaderExt

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

Formats the value using the given formatter.