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