File: pattern_equivalence.k

package info (click to toggle)
kimwitu-doc 10a-3
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k, sarge
  • size: 1,192 kB
  • ctags: 341
  • sloc: makefile: 166; yacc: 125; ansic: 40; lex: 18; sh: 2
file content (3 lines) | stat: -rw-r--r-- 170 bytes parent folder | download | duplicates (3) 
1
2
3
 
Add( asub ) &   Add ( bsub ) , Add( asub ) & Subtract ( bsub )   : { /* C-code */ }

Add( asub ) & ( Add ( bsub ) ,               Subtract ( bsub ) )  : { /* C-code */ }