7 lines
135 B
Plaintext
7 lines
135 B
Plaintext
--# -path=.:../abstract:../common:../prelude:../api
|
|
|
|
concrete AllLat of AllLatAbs =
|
|
LangLat,
|
|
ExtendLat
|
|
** open ExtraLat in {} ;
|