Parameter Safe1.M

type 'x t
val service : 'x t -> 'result service -> 'result service_result