Struct EmittedDocument 

pub struct EmittedDocument {
    pub source: String,
    pub target: String,
    pub correspondence: Vec<Correspondence>,
    pub omissions: Vec<String>,
    pub assumptions: Vec<String>,
    pub losses: Vec<(String, String)>,
    /* private fields */
}

An emitted document.

Fields

source: String

The literate .lg source.

target: String

The target’s absolute LOGOS name.

correspondence: Vec<Correspondence>

omissions: Vec<String>

Declarations whose literate readable form was omitted (the vernacular form carries them), each with the reason; nothing is dropped silently.

assumptions: Vec<String>

The axioms the document assumes, by LOGOS name.

losses: Vec<(String, String)>

What the import knew that the document does not carry, each as (category, detail) — read from the import’s metadata (binder annotations), so it is NOT part of the document’s bytes: a replay that rebuilds the environment from its certificate writes the identical source without it.

Trait Implementations

impl Clone for EmittedDocument

fn clone(&self) -> EmittedDocument

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EmittedDocument

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

Formats the value using the given formatter.

impl PartialEq for EmittedDocument

fn eq(&self, other: &EmittedDocument) -> 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 StructuralPartialEq for EmittedDocument