Skip to content

WebDSL-Core-sig.stx

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
76
77

module 

imports
  signatures/WebDSL-Action-sig
  signatures/WebDSL-DataModel-sig
  signatures/WebDSL-Lexical-sig

signature

  sorts
    
    
    
    
    
    
    
    
    
    
    
    
    

  constructors
    FormalArg-Plhdr : FormalArg
    OptFormalArgs-Plhdr : OptFormalArgs
    FunctionSortParams-Plhdr : FunctionSortParams
    FunctionSortParam-Plhdr : FunctionSortParam
    FunctionSortReturn-Plhdr : FunctionSortReturn
    OptCallArgs-Plhdr : OptCallArgs
    Sort-Plhdr : Sort
    Unit-Plhdr : Unit
    Section-Plhdr : Section
    Definition-Plhdr : Definition
    EnumValue-Plhdr : EnumValue
    Action-Plhdr : Action
    Statement-Plhdr : Statement

signature

  constructors
     : SimpleSortLex -> Sort
     : GenericSortLex * list(Sort) -> Sort
    ListSort : Sort -> Sort
    SetSort : Sort -> Sort
    RefSort : Sort -> Sort
    RefSortAlt : Sort -> Sort
    FunctionSort : FunctionSortParams * FunctionSortReturn -> Sort
    FunctionSortParams : list(FunctionSortParam) -> FunctionSortParams
    FunctionSortParamsNone : FunctionSortParams
    UnnamedArg : Sort -> FunctionSortParam
    NamedArg : VarId * Sort -> FunctionSortParam
    FunctionSortReturn : Sort -> FunctionSortReturn
    FunctionSortReturnNone : FunctionSortReturn
     : VarId * Sort -> FormalArg
     : list(FormalArg) -> OptFormalArgs
    OptFormalArgsNone : OptFormalArgs
    CallArgs : list(Exp) -> OptCallArgs
    OptCallArgsNone : OptCallArgs
     : SectionName * list(Definition) -> Section
    ApplicationDefs : QId * list(Definition) * list(Section) -> Unit
    Application : QId * list(Section) -> Unit
    ModuleDefs : ModuleName * list(Definition) * list(Section) -> Unit
    Module : ModuleName * list(Section) -> Unit
    BuiltInDefs : list(Definition) * list(Section) -> Unit
    BuiltIn : list(Section) -> Unit
    BuiltInLibraryDefs : list(Definition) * list(Section) -> Unit
    BuiltInLibrary : list(Section) -> Unit
    EmptyUnit : Unit
     : ImportName -> Definition
    ImportsBuiltIn : Definition
    Description : list(Word) -> Definition
    Note : list(Word) -> Definition
    Enum : Id * list(EnumValue) -> Definition
    EnumValue : Id * String -> EnumValue
    Action2Definition : Action -> Definition