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

use std::rc::Rc;

pub type LineFile = (usize, Rc<str>); // (line number, file path)

pub const FILE_INDEX_FOR_BUILTIN: usize = 0;

pub const DEFAULT_MANGLED_FN_PARAM_PREFIX: &str = "__";

pub fn default_line_file() -> LineFile {
    (0, Rc::from(""))
}

pub fn is_default_line_file(line_file: &LineFile) -> bool {
    line_file.0 == 0 && line_file.1.is_empty()
}