foo.ml

module M : sig
  type t = private int
  val make : int -> t
 end = struct
  type t = int
  let make i =
    if i mod 2 = 0 then i
    else raise (Invalid_argument "not an even number !")
 end