THF/Test/Product.hascasl

1
2
3
4
5
6
7
8
9
10
11
12
13
14
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroederlogic HasCASL
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroeder
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroederspec test =
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroedertype Real
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroeder
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroederop 0 : Real
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroeder
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroederfree types
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroeder     SWPoint ::= SWPoint(x:Real;y:Real;z:Real);
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroeder
ce2aa52cf67a45b753e1695a46d0ba8400934fa7Jonathan von Schroederop p1:SWPoint=SWPoint(0,0,0)
1caac17e785f1133f7c4d9a97f367f7832823cfcJonathan von Schroeder
1caac17e785f1133f7c4d9a97f367f7832823cfcJonathan von Schroeder.0=0 %implied