#include FFUN.cam
#include mse.cam

; Creation date: Fri Dec 12 10:56:56 WET 1997

STATE st   : A->NAT;

FUNC MUL(a: NAT): VOID
STATE  st <- mseExMul(st ,a);

FUNC ADD(a:A->NAT): VOID
STATE  st <- mseCup(st ,a);

FUNC DIF(a:A->NAT): VOID
STATE  st <- mseDiff(st,a);