Struct ExpandedCase 

pub struct ExpandedCase {
    pub lhs: Spanned<Expr>,
    pub rhs: Spanned<Expr>,
    pub guard: Option<Spanned<Expr>>,
    pub bindings: Vec<(String, Spanned<Expr>)>,
    pub from_hostile: bool,
}

One expanded case: lhs, rhs, the per-given binding map that produced it, and the substituted when guard if the law had one. The vm-verify runner takes ownership and produces VM helper fns from these. Origin flag distinguishes cases that came from the user’s own values from cases the hostile expansion added.

Fields

lhs: Spanned<Expr>

rhs: Spanned<Expr>

guard: Option<Spanned<Expr>>

bindings: Vec<(String, Spanned<Expr>)>

from_hostile: bool

Trait Implementations

impl Clone for ExpandedCase

fn clone(&self) -> ExpandedCase

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExpandedCase

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

Formats the value using the given formatter.