module type Proov
= sig

    type t
    val a : t

  end

module Proov1
: Proov
    with type t = int

= struct

    type t = int

    let a = 10

  end

module Proov2
: Proov
= struct
    let a = 10

  end