functor (Service : SERVICE) (Error : ERROR) ->
  sig val main : ?argv:string array -> unit -> unit end