Struct Identifier 

pub struct Identifier {
    pub name: String,
}

Fields

name: String

Implementations

impl Identifier

pub fn new(name: String) -> Self

impl Identifier

pub fn mk(name: String) -> Obj

Build a name-shaped Obj (via AtomObj::Identifier). Parameter is String (not &str).

impl Identifier

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for Identifier

fn clone(&self) -> Identifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for Identifier

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

Formats the value using the given formatter.

impl From<Identifier> for Obj

fn from(id: Identifier) -> Self

Converts to this type from the input type.