litex-lang 0.9.65-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
mod atom;
mod obj;
mod standard_set;
pub use atom::{
    field_access_to_string, field_access_with_mod_to_string, identifier_to_string,
    identifier_with_mod_to_string, Atom, FieldAccess, FieldAccessWithMod, Identifier,
    IdentifierOrIdentifierWithMod, IdentifierWithMod,
};
pub use obj::{
    fn_obj_to_string, Abs, Add, Cap, Cart, CartDim, Choose, ClosedRange, Count, Cup, Div,
    FamilyObj, FiniteSeqListObj, FiniteSeqSet, FnObj, FnSet, Intersect, ListSet, Log, MatrixAdd,
    MatrixListObj, MatrixMul, MatrixPow, MatrixScalarMul, MatrixSet, MatrixSub, Max, Min, Mod, Mul,
    Number, Obj,
    ObjAtIndex, Pow, PowerSet, Proj, Range, SeqSet, SetBuilder, SetDiff, SetMinus, StructObj, Sub,
    Tuple,
    TupleDim, Union,
};
pub use standard_set::StandardSet;