Sends preferable behavior to me, since it avoid overly long signatures and more clearly reflects the new semantics of module aliases. But it might be nice to have a way to see the contents of a module in the toplevel. Maybe steak the #typeof declaration from utop? y On Apr 27, 2014 8:47 AM, "Berke Durak" wrote: > What happened? > > OCaml version 4.02.0+dev4-2014-04-03 > > # module S = String;; > module S = String > > -- > Berke Durak > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >