sig
  type 'a request = 'a
  val from_fun : (unit -> 'a) -> 'a Eliom_lazy.request
  val from_val : 'a -> 'a Eliom_lazy.request
  val force : 'a Eliom_lazy.request -> 'a
end