Hi,

Is there a way to qualify identifiers explicitly so as to make them
refer to top-level definitions?

# type t = int;;
type t = int
# module A = struct type t = t end;;
The type abbreviation t is cyclic

Is it possible to write something like "type t = Top.t"?

Best,

Roland