ergotree_ir/
types.rs

1//! Sigma types
2
3pub mod stype;
4
5/// AVL tree methods
6pub mod savltree;
7/// Box object type companion
8pub mod sbox;
9/// Collection object type companion
10pub mod scoll;
11pub mod scontext;
12/// Function signature type
13pub mod sfunc;
14/// Global methods
15pub mod sglobal;
16/// GroupElement methods
17pub mod sgroup_elem;
18/// Header's methods
19pub mod sheader;
20/// Object method(property) signature type
21pub mod smethod;
22/// Option object type companion
23pub mod soption;
24/// PreHeader's methods
25pub mod spreheader;
26/// Tuple type
27pub mod stuple;
28/// Type companion for an object
29pub mod stype_companion;
30/// Type parameters for generic signatures
31pub mod stype_param;
32/// Types unification
33pub mod type_unify;