aiken-lang 1.1.23

Cardano smart contract language and toolchain
Documentation 
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

---
source: crates/aiken-lang/src/parser/expr/assignment.rs
description: "Code:\n\nexpect foo?"
---
Assignment {
    location: 0..11,
    value: TraceIfFalse {
        location: 7..11,
        value: Var {
            location: 7..10,
            name: "foo",
        },
    },
    patterns: [
        AssignmentPattern {
            pattern: Constructor {
                is_record: false,
                location: 0..11,
                name: "True",
                arguments: [],
                module: None,
                constructor: (),
                spread_location: None,
                tipo: (),
            },
            annotation: None,
            location: 0..0,
        },
    ],
    kind: Expect {
        backpassing: false,
    },
    comment: None,
}