module Test

  use int.Int

  type a = < range 22 46 >

  let f (b : a) =
    requires {a'int b = 42}
    ensures {a'int result = a'int b}
    (42:a)

end

module Test1
  clone Test as T (* Replace with Test does not work *)

end
