oxilean-cli 0.1.2

OxiLean command-line interface
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! # DisplayGoal - Trait Implementations
//!
//! This module contains trait implementations for `DisplayGoal`.
//!
//! ## Implemented Traits
//!
//! - `Display`
//!
//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)

use super::types::DisplayGoal;
use std::fmt;

impl fmt::Display for DisplayGoal {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        writeln!(f, "Goal {}:", self.index)?;
        for (name, ty) in &self.hypotheses {
            writeln!(f, "  {} : {}", name, ty)?;
        }
        writeln!(f, "  \u{22a2} {}", self.goal_type)
    }
}