Struct ForallFreeParamObj 

pub struct ForallFreeParamObj {
    pub name: String,
}

Fields

name: String

Implementations

impl ForallFreeParamObj

pub fn new(name: String) -> Self

Trait Implementations

impl Clone for ForallFreeParamObj

fn clone(&self) -> ForallFreeParamObj

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ForallFreeParamObj

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

Formats the value using the given formatter.

impl Display for ForallFreeParamObj

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

Formats the value using the given formatter.

impl From<ForallFreeParamObj> for FnObjHead

fn from(p: ForallFreeParamObj) -> Self

Converts to this type from the input type.

impl From<ForallFreeParamObj> for Obj

fn from(v: ForallFreeParamObj) -> Self

Converts to this type from the input type.

impl PartialEq for ForallFreeParamObj

fn eq(&self, other: &ForallFreeParamObj) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ForallFreeParamObj

impl StructuralPartialEq for ForallFreeParamObj