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
216 B
13 lines
216 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
|
|
|