Struct SmartGuard 

pub struct SmartGuard {
    pub param: String,
    pub predicate: Spanned<ResolvedExpr>,
}

Refinement smart-constructor guard a SimpOmegaUnfold strategy found in the law’s fn unfold chain. param is the smart constructor’s input parameter name; predicate is the Bool subject of its match true/false → Ok/Err body. Backends emit by_cases h_<v> : <substituted predicate> for each law-given by rewriting param to <v> inside the predicate.

Fields

param: String

predicate: Spanned<ResolvedExpr>

Trait Implementations

impl Clone for SmartGuard

fn clone(&self) -> SmartGuard

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SmartGuard

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

Formats the value using the given formatter.