Module Server_rpc.Service_spec

type 'a t =
  1. | None : unit t
  2. | Some : Service_spec.t -> Service_spec.t t