module type Session_model = sig .. end
type t
to identify a user in the callback functions
type html
type session_id
val string_of_html : html -> string
ou bien un print_html : fmt -> html -> unit
val string_of_session_id : session_id -> string
val session_id_of_string : string -> session_id
val failure_handler : string -> html * Model.cookie_action list
To return a document from an error message, when
a callback raises the Failure exception.
val get_user : Env.cgi_env -> session_id -> t option
to get user information from the session id and the environment.
val callback_varname : string
the variable name to use for the page in urls,
with only the following characters: a-z A-Z 0-9 '-' '_'
val session_varname : string
the variable name to use for the session id in urls,
with only the following characters: a-z A-Z 0-9 '-' '_'