overload res doc examples, part 2

2026-04-23 11:42:49 -06:00 · 2007-06-19 18:09:49 +00:00
parent 1a649a6a1d
commit 2ded5b6d28
12 changed files with 77 additions and 0 deletions
--- a/doc/tutorial/music/MusicEng.gf
+++ b/doc/tutorial/music/MusicEng.gf
@@ -0,0 +1,7 @@
+--# -path=.:present:api:prelude
+
+  concrete MusicEng of Music = MusicEng0 - [PropKind] ** 
+      open SyntaxEng in {
+  lin
+    PropKind k p = mkCN k (mkRS (mkRCl which_RP (mkVP p))) ;
+  }