Jonathan Roewen a écrit :

> I think it would be awesome if the toplevel would be able to spit out
> the interface to a module.
>
> Like:
>
> # Printf;;
> and it prints out a Module = sig ... end of the module if found.
>

Or like this: (;-))

# module P = Printf;;
module P :
  sig
    val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a
    val printf : ('a, out_channel, unit) format -> 'a
    val eprintf : ('a, out_channel, unit) format -> 'a
    val sprintf : ('a, unit, string) format -> 'a
    ...

Maybe *module _ = Printf ;;* would be slightly more elegant, but the
above does work.

Regards,

-- Michel