litex-lang 0.9.88-beta

The Formal Way to Write Math as It Looks
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! String aliases used as map keys / logical names (environment, facts, etc.).

pub type ObjString = String;
pub type FactString = String;
pub type OrFactKey = String;
pub type ExistFactKey = String;
pub type AtomicFactKey = String;
pub type PropName = String;
pub type AbstractPropName = String;
pub type AlgoName = String;
pub type StructName = String;
pub type TemplateName = String;
pub type IdentifierName = String;