Struct DeclSignature 

pub struct DeclSignature {
    pub name: String,
    pub ty: String,
    pub uparams: Vec<String>,
}

The type signature of a declaration (name + type, no body).

Fields

name: String

The fully-qualified name.

ty: String

String representation of the type.

uparams: Vec<String>

Universe parameters.

Implementations

impl DeclSignature

pub fn new(name: impl Into<String>, ty: impl Into<String>) -> Self

Creates a new declaration signature.

pub fn with_uparam(self, u: impl Into<String>) -> Self

Adds a universe parameter.

pub fn is_universe_poly(&self) -> bool

Returns true if this is a universe-polymorphic signature.