Struct ContractRenderConfig 

pub struct ContractRenderConfig {
    pub format: ContractFormat,
    pub embed_citation: bool,
    pub include_falsification: bool,
    pub lean_version: Option<(u32, u32)>,
}

Configuration passed to ContractBackend::render.

Fields

format: ContractFormat

embed_citation: bool

When true, the citation ID is emitted textually (in addition to RenderedDoc.citations) via the format’s structured construct: \xpileContract{}{} (LaTeX), @[xpile_contract ...] (Lean), <!-- xpile-contract: ... --> (mdBook).

include_falsification: bool

When true, every falsification_test surfaces as a \begin{remark} (LaTeX), -- FALSIFY-<ID> block (Lean), or > **Falsification:** block (mdBook). When false, falsification tests are absent.

lean_version: Option<(u32, u32)>

(major, minor) Lean version. Only Lean 4 is supported (lean_version: Some((4, _))); rendering with Lean 3 returns Err(ContractBackendError::UnsupportedLeanVersion).

Trait Implementations

impl Clone for ContractRenderConfig

fn clone(&self) -> ContractRenderConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractRenderConfig

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ContractRenderConfig

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ContractRenderConfig

impl PartialEq for ContractRenderConfig

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ContractRenderConfig