Struct FiniteSeqSet 

pub struct FiniteSeqSet {
    pub set: Box<Obj>,
    pub n: Box<Obj>,
}

Set of functions fn(x N_pos: x <= n) s (Lit surface syntax: keyword finite_seq(s, n)).

Fields

set: Box<Obj>

n: Box<Obj>

Implementations

impl FiniteSeqSet

pub fn new(set: Obj, n: Obj) -> Self

impl FiniteSeqSet

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for FiniteSeqSet

fn clone(&self) -> FiniteSeqSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for FiniteSeqSet

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

Formats the value using the given formatter.

impl From<FiniteSeqSet> for Obj

fn from(v: FiniteSeqSet) -> Self

Converts to this type from the input type.