Module Eliom_lazy type 'a requestval from_fun : (unit -> 'a) -> 'a requestval from_val : 'a -> 'a requestval force : 'a request -> 'a