Struct SelectedRange 

pub struct SelectedRange {
    pub selection: Selection,
    pub signature: Option<PlainSignature>,
    pub acceptance: Option<AcceptanceTail>,
}

Range selection and the immediately following direct signature comparison.

Fields

selection: Selection

Operand-bound range selection.

signature: Option<PlainSignature>

Present only if the uninterrupted direct comparison grammar matches.

acceptance: Option<AcceptanceTail>

Unique checked acceptance tail using these selection cells. Reachability from the signature loop and helper semantics are separate obligations.

Trait Implementations

impl Clone for SelectedRange

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SelectedRange

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

Formats the value using the given formatter.

impl Eq for SelectedRange

impl PartialEq for SelectedRange

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SelectedRange