Module Dataflow

module type DOMAIN = sig ... end
module Backward (D : DOMAIN) : sig ... end