module rec A:Map = struct let m = 2 end  and B:Set = struct let s = 1 end
module rec A:Map = struct let m = 2 end[@@onFirstBinding ]
 and B:Set = struct let s = 1 end[@@onSecondBinding ]
module rec A:Map = struct let m = 2 end[@@onFirstBindingOfNext ]
 and B:Set = struct let s = 1 end[@@onSecondBindingOfNext ]