Skip to content

ATerms-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

module signatures/ATerms-sig

imports

signature

  sorts
    Cons = string
    Int = string
    String = string
    StringChar = string
    

  constructors
    Term-Plhdr : Term

signature

  constructors
    Str : String -> Term
    Int : Int -> Term
    App : Cons * list(Term) -> Term
    List : list(Term) -> Term
    Tuple : list(Term) -> Term