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
---
source: crates/aiken-lang/src/parser/definition/data_type.rs
description: "Code:\n\npub type Foo {\n wow: Int,\n}\n"
---
DataType(
DataType {
constructors: [
RecordConstructor {
location: 13..28,
name: "Foo",
arguments: [
RecordConstructorArg {
label: Some(
"wow",
),
annotation: Constructor {
location: 22..25,
module: None,
name: "Int",
arguments: [],
},
location: 17..25,
tipo: (),
doc: None,
},
],
doc: None,
sugar: true,
},
],
doc: None,
location: 0..28,
name: "Foo",
opaque: false,
parameters: [],
public: true,
typed_parameters: [],
},
)