File: Mmult.mod

package info (click to toggle)
cafeobj 1.6.0-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 19,900 kB
  • sloc: lisp: 85,055; sh: 659; makefile: 437; perl: 147
file content (18 lines) | stat: -rw-r--r-- 309 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
require Msimple-nat

module MULT {
  protecting (SIMPLE-NAT)
  op _*_ : Nat Nat -> Nat
  vars N M : Nat
  eq 0 * N = 0 .
  eq s(N) * M = M + (N * M) .
}

provide Mmult
eof
** -----------------
set step on
select MULT
reduce s(s(0)) * s(s(s(0))) .

** $Id: Mmult.mod,v 1.1.1.1 2003-06-19 08:30:11 sawada Exp $