You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
211 B
13 lines
211 B
type time = int * int * int
|
|
|
|
type user = string
|
|
|
|
type msg = string
|
|
|
|
type notice = string
|
|
|
|
type action = string
|
|
|
|
type content = Msg of user * msg | Notice of notice | Action of action
|
|
|
|
type line = time * content
|
|
|