Enum Register 

pub enum Register {
    Spec,
    Fluent,
}

Controls how structure-exposing the rendered English is.

Spec is the default and the safe choice for a zero-hallucination prover: it keeps quantifier scope and logical structure explicit (“For every X: if X is a dog, then X is an animal”), so a reader verifying the encoding can see the binder order. Fluent is an optional enhancement that smooths the prose where it can do so without reordering binders or dropping a negation; it must never make a scope error harder to spot.

Variants

Spec

Structure-exposing logical-specification English (default).

Fluent

Smoothed readable English (must preserve binder order and negation).

Trait Implementations

impl Clone for Register

fn clone(&self) -> Register

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Register

impl Debug for Register

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

Formats the value using the given formatter.

impl Default for Register

fn default() -> Register

Returns the “default value” for a type.

impl Eq for Register

impl PartialEq for Register

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Register