mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-14 09:30:13 -06:00
8 lines
173 B
Plaintext
8 lines
173 B
Plaintext
--# -path=.:../common:../abstract
|
|
|
|
concrete ExtendSom of Extend = {} ;
|
|
-- CatSom ** ExtendFunctor
|
|
-- with (Grammar=GrammarSom)
|
|
-- ** open Prelude, ResSom in {
|
|
-- } ;
|