49 lines
1.2 KiB
YAML
49 lines
1.2 KiB
YAML
- kind: record
|
|
fields:
|
|
- name: a
|
|
value: {kind: number, repr: i32}
|
|
required: true
|
|
- name: b
|
|
value: {kind: number, repr: i64}
|
|
required: true
|
|
- name: c
|
|
value: {kind: number, repr: f32}
|
|
required: true
|
|
- name: d
|
|
value: {kind: number, repr: f64}
|
|
required: true
|
|
id: [pragmas, Type]
|
|
- kind: record
|
|
fields:
|
|
- name: a
|
|
value: {kind: number, repr: i32}
|
|
required: true
|
|
- name: b
|
|
value: {kind: number, repr: i64}
|
|
required: true
|
|
- name: c
|
|
value: {kind: number, repr: f32}
|
|
required: true
|
|
- name: d
|
|
value: {kind: number, repr: f64}
|
|
required: true
|
|
- name: e
|
|
value: {kind: string}
|
|
required: true
|
|
id: [pragmas, Interface]
|
|
- kind: record
|
|
fields:
|
|
- name: a
|
|
value: {kind: number, repr: i32}
|
|
required: true
|
|
- name: b
|
|
value: {kind: number, repr: i64}
|
|
required: true
|
|
- name: c
|
|
value: {kind: number, repr: f32}
|
|
required: true
|
|
- name: d
|
|
value: {kind: number, repr: f64}
|
|
required: true
|
|
id: [pragmas, Class]
|