equal
deleted
inserted
replaced
9 val id: unit -> string list |
9 val id: unit -> string list |
10 val name: unit -> string |
10 val name: unit -> string |
11 val welcome: unit -> string |
11 val welcome: unit -> string |
12 val use_dir: string -> string -> bool -> string list -> bool -> bool -> |
12 val use_dir: string -> string -> bool -> string list -> bool -> bool -> |
13 string -> bool -> string list -> string -> string -> bool * string -> |
13 string -> bool -> string list -> string -> string -> bool * string -> |
14 string -> int -> bool -> bool -> int -> int -> bool -> unit |
14 string -> int -> bool -> bool -> int -> int -> int -> unit |
15 val finish: unit -> unit |
15 val finish: unit -> unit |
16 end; |
16 end; |
17 |
17 |
18 structure Session: SESSION = |
18 structure Session: SESSION = |
19 struct |
19 struct |