mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
16 lines
285 B
Plaintext
16 lines
285 B
Plaintext
concrete SymbolsX of Symbols = open Formal in {
|
|
|
|
lincat
|
|
Exp = TermPrec ;
|
|
|
|
lin
|
|
-- EInt i = constant i.s ;
|
|
EVar x = constant x.s ;
|
|
EIn = infixn 0 "\\in" ;
|
|
EPlus = infixl 2 "+" ;
|
|
ETimes = infixl 3 "*" ;
|
|
EEq = infixn 0 "=" ;
|
|
EGt = infixn 0 ">" ;
|
|
ELt = infixn 0 "<" ;
|
|
}
|