module Eliom_registration: sig .. end
sig
end
type appl_service = [ `Appl ]
[ `Appl ]
type http_service = [ `Http ]
[ `Http ]
type non_caml_service = [ `Appl | `Http ]
[ `Appl | `Http ]