mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-15 15:59:32 -06:00
11 lines
345 B
Plaintext
11 lines
345 B
Plaintext
concrete RelativeTha of Relative = CatTha ** open ResTha, Prelude in {
|
|
|
|
lin
|
|
RelCl cl = {s = \\p => thbind thii_s (cl.s ! ClDecl ! p)} ; ---- ??
|
|
RelVP rp vp = mkPolClause rp vp ;
|
|
RelSlash rp slash = {s = \\p => thbind slash.c2 rp.s (slash.s ! p)} ;
|
|
FunRP p np rp = {s = thbind np.s p.s rp.s} ; ---- ??
|
|
IdRP = ss thii_s ;
|
|
|
|
}
|