type nonrec t = string
type nonrec t = string[@@onStructureItem ]
module X =
  struct type nonrec t = string
         type nonrec t = string[@@onStructureItem ] end