#ifndef EESpring_H #define EESpring_H #include typedef T <: Public; Public == Force.T OBJECT METHODS init(a, b, c, nat d, a1, a2, a3, a4, double k); } ; } /* EESpring */. #endif