Module Eliom_registration

module Eliom_registration: sig .. end

type 'a kind 

type browser_content = [ `Browser ] 

type 'a application_content = [ `Appl of 'a ] 

module Html: Eliom_registration_sigs.S 
  with type page = Html_types.html Eliom_content.Html.elt
   and type options = unit
   and type return = Eliom_service.non_ocaml
   and type result = browser_content kind

module Action: Eliom_registration_sigs.S 
  with type page = unit
   and type options = [ `Reload | `NoReload ]
   and type return = Eliom_service.non_ocaml
   and type result = browser_content kind

module Unit: Eliom_registration_sigs.S 
  with type page = unit
   and type options = unit
   and type return = Eliom_service.non_ocaml
   and type result = browser_content kind

type appl_service_options = {

module App: 
functor (P : Eliom_registration_sigs.APP_PARAM) -> sig .. end

type '_ redirection = 

module Redirection: Eliom_registration_sigs.S_poly_with_send 
  with type 'a page = Eliom_service.non_ocaml redirection
   and type options =
         [ `MovedPermanently
         | `Found
         | `SeeOther
         | `NotNodifed
         | `UseProxy
         | `TemporaryRedirect ]
   and type 'a return = Eliom_service.non_ocaml
   and type 'a result = browser_content kind

module Any: Eliom_registration_sigs.S_poly_with_send 
  with type 'a page = 'a kind
   and type options = unit
   and type 'a return = Eliom_service.non_ocaml
   and type 'a result = 'a kind

val appl_self_redirect : ('page -> [< `Appl of 'a | `Browser ] kind Lwt.t) ->
       'page ->
       'appl application_content kind Lwt.t