type t = User.t list
val add : 'a -> 'a list -> 'a listval initial : User.t listval print_user : User.t -> Stdlib.Format.formatter -> User.t -> unitval print_users : User.t -> Stdlib.Format.formatter -> User.t list -> unitval fprintf : User.t -> Stdlib.Format.formatter -> User.t list -> unit