Enum OwnedStmt 

pub enum OwnedStmt {
    FunctionDef {
        name: String,
        params: Vec<(String, String)>,
        return_type: Option<String>,
    },
    StructDef {
        name: String,
        fields: Vec<(String, String)>,
    },
    Let {
        name: String,
        ty: Option<String>,
        inferred_type: Option<String>,
        mutable: bool,
    },
    Theorem {
        name: String,
    },
    Block {
        name: String,
        kind: String,
    },
    Other,
}

Lightweight summary of a statement for symbol indexing. This avoids lifetime issues with arena-allocated AST nodes.

Variants

FunctionDef

Fields

name: String

params: Vec<(String, String)>

return_type: Option<String>

StructDef

Fields

name: String

fields: Vec<(String, String)>

Let

Fields

name: String

ty: Option<String>

inferred_type: Option<String>

mutable: bool

Theorem

Fields

name: String

Block

Fields

name: String

kind: String

Other

Trait Implementations

impl Clone for OwnedStmt

fn clone(&self) -> OwnedStmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OwnedStmt

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

Formats the value using the given formatter.