litex-lang 0.9.82-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

use crate::common::keywords::MOD_SIGN;
use std::fmt;

// 用于 prop 的 predicate， struct 和 family 的名字
#[derive(Clone, PartialEq, Eq)]
pub enum AtomicName {
    WithoutMod(String),
    WithMod(String, String), // mod_name, name
}

impl fmt::Display for AtomicName {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        match self {
            AtomicName::WithoutMod(name) => write!(f, "{}", name),
            AtomicName::WithMod(mod_name, name) => {
                write!(f, "{}{}{}", mod_name, MOD_SIGN, name)
            }
        }
    }
}