Module Glt_common.Character
type id
= string
type nick
= string
type nicks
= nick list
type time
= (string * string) * (string * string)
type time_here
= time
type time_connect
= time
type times_here
= time_here list
type times_connect
= time_connect list
type yes_proba
= Time.t -> float
type naab_proba
= float
type msg_proba
= Time.t -> float
type t
=
{
id : id;
nicks : nicks;
times_here : times_here;
times_connect : times_connect;
yes_proba : yes_proba;
naab_proba : naab_proba;
generator : Omg.generator;
msg_proba : msg_proba;
default_msg_proba : float;
}