litex-lang 0.9.66-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

use crate::prelude::*;
use std::fmt;

#[derive(Clone)]
pub struct KnowStmt {
    pub facts: Vec<Fact>,
    pub line_file: LineFile,
}

impl KnowStmt {
    pub fn new(facts: Vec<Fact>, line_file: LineFile) -> Self {
        KnowStmt { facts, line_file }
    }
}

impl fmt::Display for KnowStmt {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        if self.facts.len() == 1 {
            write!(f, "know {}", self.facts[0])
        } else {
            write!(
                f,
                "{}{}\n{}",
                KNOW,
                COLON,
                vec_to_string_add_four_spaces_at_beginning_of_each_line(&self.facts, 1),
            )
        }
    }
}