Using open but for just one type?

Right, it’s not really the equivalent of open but of include.

Another way to do it is to have type t in a submodule and only open that one.

module User = {
  module Type = { 
    type t = { ... }
  }
  ...
}

open User.Type.t