Terms.sdf3
pdmosses/nabl/org.metaborg.meta.lang.nabl/syntax/terms/Terms.sdf3
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
|
module
imports
terms/Constants
common/Identifiers
terms/Vars
sorts
context-free syntax
= <<Var>>
.Int = <<Int>>
.Real = <<Real>>
.Str = <<String>>
.Op = <<Id>(<{Pattern ", "}*>)>
.OpQ = <<String>(<{Pattern ", "}*>)>
.Char = <<Char>>
.Tuple = <(<{Pattern ", "}*>)>
.List = <[<{Pattern ", "}*>]>
.ListTail = <[<{Pattern ", "}*> | <Pattern>]>
.As = <<Var>@<Pattern>>
sorts
context-free syntax
= <<VarRef>>
.Int = <<Int>>
.Real = <<Real>>
.Str = <<String>>
.Op = <<Id>(<{Term ", "}*>)>
.OpQ = <<String>(<{Term ", "}*>)>
.Char = <<Char>>
.Tuple = <(<{Term ", "}*>)>
.List = <[<{Term ", "}*>]>
.ListTail = <[<{Term ", "}*> | <Term>]>
|