PassPartoutML/app.ml at master · hackEns/PassPartoutML · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
module type PARAM = sig
	val welcome_service : (unit, unit, Eliom_service.get_service_kind, Eliom_service.attached,
		Eliom_service.service_kind, [ `WithoutSuffix ], unit,
		unit, Eliom_service.registrable, [> Eliom_service.appl_service ])
		Eliom_service.service
	include Eliom_registration.APPL_PARAMS
end

module App (M : PARAM) = struct
	include Eliom_registration.App ( M )
	let welcome_service = M.welcome_service
end

module type APP = sig
	include Eliom_registration.ELIOM_APPL
	val welcome_service : (unit, unit, Eliom_service.get_service_kind, Eliom_service.attached,
		Eliom_service.service_kind, [ `WithoutSuffix ], unit,
		unit, Eliom_service.registrable, [> Eliom_service.appl_service ])
		Eliom_service.service
end