(defmethod some-user-greeting ((user some-userc) &optional daytime) ....)
means that the argument 'user' to the method MUST be an object of class 'some-userc'.
EmacsLisp's CLOS doesn't have as much type checking as CL's but it is there.
(defmethod some-user-greeting ((user some-userc) &optional daytime) ....)
means that the argument 'user' to the method MUST be an object of class 'some-userc'.
EmacsLisp's CLOS doesn't have as much type checking as CL's but it is there.