struct
  (* ``include Pervasives;;'' is not needed in this case, of course *)
  include Extra;;
end