forked from GitHub/gf-rgl
Krasimir Angelov
7 lines
128 B
Plaintext
7 lines
128 B
Plaintext
--# -path=.:../abstract:../common:../prelude
|
|
|
|
concrete AllLat of AllLatAbs =
|
|
LangLat,
|
|
ExtendLat
|
|
** open ExtraLat in {} ;
|