forked from GitHub/gf-rgl
8 lines
134 B
Plaintext
8 lines
134 B
Plaintext
concrete ExtraChi of ExtraChiAbs = CatChi **
|
|
open ResChi, Prelude in {
|
|
|
|
lincat
|
|
Aspect = {s : Str ; a : ResChi.Aspect} ;
|
|
|
|
}
|