Snark_work_lib.Work
module Single : sig ... end
module Spec : sig ... end
module Result : sig ... end