Module Work.Single

module Spec : sig ... end