# module X: sig type t end = struct
    type t = { name: string }
  end

  module Y = struct
    include X
    let x = { name = "x" }
  end;;
Error: Unbound record field label name