Struct TypingRule 

pub struct TypingRule {
    pub name: String,
    pub premises: Vec<String>,
    pub conclusion: String,
    pub side_conditions: Vec<String>,
}

A typing rule in the type system.

Fields

name: String

Name of the rule (e.g., “abs-intro”, “app-elim”)

premises: Vec<String>

Premises (judgments above the line)

conclusion: String

Conclusion (judgment below the line)

side_conditions: Vec<String>

Side conditions

Trait Implementations

impl Clone for TypingRule

fn clone(&self) -> TypingRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypingRule

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

Formats the value using the given formatter.