mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-16 18:40:14 -06:00
16 lines
338 B
Plaintext
16 lines
338 B
Plaintext
--# -path=.:../abstract:../common:../prelude
|
|
|
|
concrete SymbolHrv of Symbol = CatHrv ** open Prelude, ResHrv in {
|
|
|
|
lincat
|
|
Symb = {s : Str} ;
|
|
lin
|
|
MkSymb s = s ;
|
|
SymbPN s = lin PN {s = \\_ => s.s ; g = Neutr} ;
|
|
|
|
IntPN s = lin PN {s = \\_ => s.s ; g = Neutr} ;
|
|
|
|
SymbNum s = lin Card {s = \\_,_ => s.s ; size = NS_20_} ; --- size
|
|
|
|
}
|