SML/NJの対話環境でモジュールの中身を見たいとき

structure Hoge = struct open HogeHoge end;

- structure M = struct open List end;
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
structure M :
 sig
 datatype 'a list = :: of 'a * 'a list | nil
 exception Empty
 val null : 'a list -> bool
 val hd : 'a list -> 'a
 val tl : 'a list -> 'a list
 val last : 'a list -> 'a
 val getItem : 'a list -> ('a * 'a list) option
 val nth : 'a list * int -> 'a
 val take : 'a list * int -> 'a list
 val drop : 'a list * int -> 'a list
 val length : 'a list -> int
 val rev : 'a list -> 'a list
 val @ : 'a list * 'a list -> 'a list
 val concat : 'a list list -> 'a list
 val revAppend : 'a list * 'a list -> 'a list
 val app : ('a -> unit) -> 'a list -> unit
 val map : ('a -> 'b) -> 'a list -> 'b list
 val mapPartial : ('a -> 'b option) -> 'a list -> 'b list
 val find : ('a -> bool) -> 'a list -> 'a option
 val filter : ('a -> bool) -> 'a list -> 'a list
 val partition : ('a -> bool) -> 'a list -> 'a list * 'a list
 val foldr : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
 val foldl : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
 val exists : ('a -> bool) -> 'a list -> bool
 val all : ('a -> bool) -> 'a list -> bool
 val tabulate : int * (int -> 'a) -> 'a list
 val collate : ('a * 'a -> order) -> 'a list * 'a list -> order
 end

signature HOGE = HOGEHGOE;

- signature HOGE = LIST;
[autoloading]
[autoloading done]
signature LIST =
 sig
 datatype 'a list = :: of 'a * 'a list | nil
 exception Empty
 val null : 'a list -> bool
 val hd : 'a list -> 'a
 val tl : 'a list -> 'a list
 val last : 'a list -> 'a
 val getItem : 'a list -> ('a * 'a list) option
 val nth : 'a list * int -> 'a
 val take : 'a list * int -> 'a list
 val drop : 'a list * int -> 'a list
 val length : 'a list -> int
 val rev : 'a list -> 'a list
 val @ : 'a list * 'a list -> 'a list
 val concat : 'a list list -> 'a list
 val revAppend : 'a list * 'a list -> 'a list
 val app : ('a -> unit) -> 'a list -> unit
 val map : ('a -> 'b) -> 'a list -> 'b list
 val mapPartial : ('a -> 'b option) -> 'a list -> 'b list
 val find : ('a -> bool) -> 'a list -> 'a option
 val filter : ('a -> bool) -> 'a list -> 'a list
 val partition : ('a -> bool) -> 'a list -> 'a list * 'a list
 val foldr : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
 val foldl : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
 val exists : ('a -> bool) -> 'a list -> bool
 val all : ('a -> bool) -> 'a list -> bool
 val tabulate : int * (int -> 'a) -> 'a list
 val collate : ('a * 'a -> order) -> 'a list * 'a list -> order
 end