Grammar Composition System
/
src
/
branch
/
20110407-thread-priority
/
test-grm
/glbtypes-inv-8.tdl
a := *top*. b := *top*. d := *top*. t0 := a & b. t1 := a & b & d. t5 := t0 & d.