This is client API (go to server)

Module Eliom_registration.​Redirection

module Redirection : sig..end

type 'a return = 'a