1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75

//! Mid-level IR (ErgoTree)

pub mod and;
pub mod apply;
pub mod bin_op;
pub mod block;
pub mod bool_to_sigma;
/// Calc Blake2b hash
pub mod calc_blake2b256;
/// Get the collection element by index
pub mod coll_by_index;
/// Tests whether a predicate holds for at least one element of this collection
pub mod coll_exists;
/// Collection.filter
pub mod coll_filter;
/// Collection.fold
pub mod coll_fold;
/// Tests whether a predicate holds for all elements of this collection
pub mod coll_forall;
/// Collection.map
pub mod coll_map;
/// Collection.size
pub mod coll_size;
/// Collection of elements
pub mod collection;
pub mod constant;
/// Create proveDlog from GroupElement(PK)
pub mod create_provedlog;
pub mod decode_point;
pub mod expr;
/// Box value
pub mod extract_amount;
/// Box.creationInfo (height, tx id + box index)
pub mod extract_creation_info;
/// Box id, Blake2b256 hash of this box's content, basically equals to `blake2b256(bytes)`
pub mod extract_id;
/// Box register value (Box.RX)
pub mod extract_reg_as;
/// Box.scriptBytes
pub mod extract_script_bytes;
/// User-defined function
pub mod func_value;
pub mod global_vars;
/// If-else conditional op
pub mod if_op;
/// Logical NOT op
pub mod logical_not;
/// Object method call
pub mod method_call;
/// Negation operation on numeric type.
pub mod negation;
/// Option.get() op
pub mod option_get;
/// Returns the Option's value or error if no value
pub mod option_get_or_else;
/// Returns false if the option is None, true otherwise.
pub mod option_is_defined;
/// Logical OR op
pub mod or;
/// Object property call
pub mod property_call;
/// Select a field of the tuple value
pub mod select_field;
pub mod sigma_and;
pub mod sigma_or;
/// Extract serialized bytes of a SigmaProp value
pub mod sigma_prop_bytes;
/// Tuple of elements
pub mod tuple;
pub mod upcast;
/// Variable definition
pub mod val_def;
/// Variable reference
pub mod val_use;
pub mod value;