Struct BinderExtExt2 

pub struct BinderExtExt2 {
    pub name: String,
    pub ty: Option<String>,
    pub implicit: bool,
}

A binder in a telescope (a sequence of bound variables).

Fields

name: String

Variable name

ty: Option<String>

Type annotation (as string)

implicit: bool

Whether the binder is implicit

Implementations

impl BinderExtExt2

pub fn explicit(name: &str, ty: Option<&str>) -> Self

Create an explicit binder.

pub fn implicit(name: &str, ty: Option<&str>) -> Self

Create an implicit binder.

pub fn format(&self) -> String

Format as “(name : ty)” or “(name)”.

Trait Implementations

impl Clone for BinderExtExt2

fn clone(&self) -> BinderExtExt2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BinderExtExt2

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

Formats the value using the given formatter.