# module M : sig class x : int -> object method m : int end end = struct class x _ = object method m = 42 end end;; Error: Signature mismatch: Modules do not match: sig class x : 'a -> object method m : int end end is not included in sig class x : int -> object method m : int end end Class declarations do not match: class x : 'a -> object method m : int end does not match class x : int -> object method m : int end One parameter has type 'a but is expected to have type int