(* Signature tests -- should print type error (missing structure item) *)

module type S = sig
  type t
  val f : int -> t
  val g : t -> int
end

module A = struct
  type t = int
  let g = (+) 1
end

module B : S = A
module C : S = A